AI and Theorem Proving
Member Seminar Speaker: Mike Douglas Title: AI and Theorem Proving Abstract: We survey interactive theorem proving and the Lean theorem prover, and the use of AI and large language models […]
1 event found.
During the 2025–26 academic year, the CMSA will be hosting a Member Seminar, organized by Iacopo Brivio and Lorenzo Riva.
This seminar will take place weekly on Fridays from 12:00–1:00 pm Eastern Time.
The schedule will be updated as talks are confirmed.