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 to improve this technology. We hope to start a discussion on projects we can do at the CMSA.