AI and Theorem Proving

2023-01-31 12:00 - 13:00
CMSA Room G10
Address: CMSA, 20 Garden Street, Cambridge, MA 02138 USA

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.