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