3 papers
cs.LG2026
Towards Autonomous Mathematics Research
Tony Feng, Trieu H. Trinh, Garrett Bingham +25
Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from com…
cs.AI2026
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the ErdÅs Problems
Tony Feng, Trieu Trinh, Garrett Bingham +21
We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's ErdÅs Problems database. We emp…
cs.LG2025
Bispectral OT: Dataset Comparison using Symmetry-Aware Optimal Transport
Annabel Ma, Kaiying Hou, David Alvarez-Melis +1
Optimal transport (OT) is a widely used technique in machine learning, graphics, and vision that aligns two distributions or datasets using their relative geometry. In symmetry-ric…