Math AI Lab
Please join us to hear about all the exciting work the Math AI Lab has been up to this quarter. This quarter's projects have been:
- AI for Quantum Code Compilation
- Deep learning of number theory
- Formalizing Geometric Measure Theory
- Formalizing Stacks
- How good are language models at Lean?
- Lean error correction with language models
- Mathematician's copilot: reliable theorem search
- Monogenic extensions of regular local rings
- Provable Computation in Lean
- Reinforcement Learning for Polynomials
- Teaching a computer to knot