| Title | Subject(s) | Venue & Year | Links & Resources |
|---|---|---|---|
| AlphaEvolve: A coding agent for scientific and algorithmic discovery | Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM | arXiv 2025 | Unofficial Code |
| Discovery of Unstable Singularities | Analysis, PINN | arXiv 2025 | |
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers | Analysis, Transformer | NeurIPS 2024 | Code |