AI-Assisted Theorem Proving in Lean

Summer Research Project at the IDEAS Lab. First introduction to Lean and Interactive Theorem Provers.

Presented at IDEAS Lab, Summer 2025.

Download slides (PDF)