AITP 2022

Stream: Machine Learning for Theorem Proving

[Jason Rute]

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]

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