AI and Theorem Proving

01/31/2023 12:00 pm - 1:00 pm
Damian van de Heisteeg Gabriel Wong
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.