About Us

The Stanford AI for Lean club is a student-run organization focused on the intersection of artificial intelligence and formal theorem proving. We believe that formal verification is the future of mathematics and software engineering, and that AI will play a crucial role in making it accessible.

Our mission is to:

  • Educate students on Lean 4 and formal verification.
  • Research new methods for AI-assisted theorem proving.
  • Collaborate with the global Lean community.

Our Team

Leadership

Led by passionate students and advised by faculty at Stanford.

Join Us

We welcome students from all backgrounds. No prior experience with Lean is required.