| Can Transformers Do Enumerative Geometry? |
Algebraic Geometry, Interpretability, Transformer |
ICLR 2025 |
Code |
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers |
Analysis, Transformer |
NeurIPS 2024 |
Code |
| Int2Int: a framework for mathematics with transformers |
Number Theory, Transformer |
arXiv 2025 |
Code |
| Learning Euler factors of elliptic curves |
Number Theory, Transformer |
arXiv 2025 |
|
| PatternBoost: Constructions in Mathematics with a Little Help from AI |
Discrete Geometry, Combinatorics, Transformer, RL |
arXiv 2024 |
Code |
| Studying number theory with deep learning: a case study with the Möbius and squarefree indicator functions |
Number Theory, Transformer |
arXiv 2025 |
Code |
| What makes math problems hard for reinforcement learning: a case study |
Group Theory, RL, Transformer |
arXiv 2024 |
Code |