3 papers
cs.AI2026
AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci +1
We introduce Bench, a benchmark of 29 open problems in algebraic combinatorics. These problems ask for a simple combinatorial algorithm that explains given polynomial coefficie…
cs.LG2026
Mapping Uncharted Symmetries: Machine Discovery in Combinatorics
Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci +2
Inspired by long-standing open problems in algebraic combinatorics, we show that modern machine learning can meaningfully contribute to verifiable mathematical discoveries. In part…
math.RA2025
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…