Math AI Lab
Lean Projects
Geometric Measure Theory
Commutative Algebra
Algebraic Geometry
Category Theory
Formalization: zero-knowledge proofs
Provable Computation in Lean
AI Projects
Lean error correction with LLMs
Mathematician's copilot: Semantic Theorem Search
Mathematician's copilot: Math2Vec
CayleyPy: search on massive combinatorial graphs
Reinforcement Learning for Polynomials
AI for Quantum Code Compilation
Deep learning for number theory