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
- Educate students on Lean 4 and formal verification.
- Research new methods for AI-assisted theorem proving.
- Collaborate with the global Lean community.
Team
Led by passionate students and advised by faculty at Stanford.
