Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: AITP 2022

Jason Rute (Sep 10 2022 at 10:30):

The yearly workshop Artificial Intelligence for Theorem Proving (AITP) just finished and most of the abstracts and videos are online: http://aitp-conference.org/2022/

For those like me, who weren't able to attend this year, what were some of the most interesting talks?

Jason Rute (Sep 10 2022 at 10:31):

(Or side conversations, since that is where all the good stuff happens at conferences and workshops.)

Last updated: Dec 20 2023 at 11:08 UTC