Math AI Lab Winter 2025 Projects

Math AI Lab
-
CMU B-006

Come see what the Math AI Lab (aka eXperimental Lean Lab) has been up to this quarter. Undergraduates will present their work on the following projects:

  • What mathematical functions can neural networks learn?
  • Reinforcement Learning for polynomials
  • Auto-formalization with Language Models
  • Metaprogramming in Lean
  • Formalizing Polyhedral Geometry in Lean
  • Counterexamples in Commutative Algebra in Lean
  • Formalizing Zariski Spaces in Lean