Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: AITP 2024

Jason Rute (Sep 01 2024 at 12:59):

The schedule for AITP 2024 (which is this week) just came out. http://aitp-conference.org/2024/#program

Will C (Sep 02 2024 at 17:19):

This looks amazing. Do you know if any resources will be released for public consumption? Thank you.

Jason Rute (Sep 02 2024 at 17:23):

They have in past years (see http://aitp-conference.org).

Will C (Sep 02 2024 at 17:27):

Brilliant, thanks. I didn’t see the links at first :)

Jason Rute (Sep 10 2024 at 14:27):

It looks like Josef posted the slides and abstracts for AITP 2024 at http://aitp-conference.org/2024/#program . I'm not sure if he recorded the talks. He has in years past. I wasn't there physically, so I don't know, but maybe someone who was there is person would know.

Mario Carneiro (Sep 12 2024 at 10:57):

The talks were not recorded

Last updated: May 02 2025 at 03:31 UTC