![Loading Events](https://cmsa.fas.harvard.edu/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
AI and Theorem Proving
January 31, 2023 @ 12:00 pm - 1:00 pm
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.