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 2026–27 academic year, the CMSA will be hosting a Member Seminar, organized by Elena Kim 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.