Events Search and Views Navigation

Event Views Navigation

Today

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