Events Search and Views Navigation

Event Views Navigation

Today

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.

AI and Theorem Proving

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

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 […]