| A Machine Learning Approach That Beats Large Rubik's Cubes |
Graph Theory, Group Theory, RL |
arXiv 2025 |
Code |
| AlphaTensor: Discovering faster matrix multiplication algorithms |
Matrix Multiplication, RL |
Nature 2022 |
Code Blog |
| CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs |
Graph Theory, Group Theory, RL |
arXiv 2025 |
Code |
| Constructions in combinatorics via neural networks |
Graph Theory, RL |
arXiv 2021 |
Code |
| PatternBoost: Constructions in Mathematics with a Little Help from AI |
Discrete Geometry, Combinatorics, Transformer, RL |
arXiv 2024 |
Code |
| Searching for ribbons with machine learning |
Geometry, Bayesian Optimization, RL, Neural Network |
Machine Learning Science and Technology 2025 |
Code |
| What makes math problems hard for reinforcement learning: a case study |
Group Theory, RL, Transformer |
arXiv 2024 |
Code |