2 papers
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…