2 papers
cs.AI2025
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti +20
We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical O…
math.AG2024
Tropical Lagrangian coamoebae and free resolutions
Christopher Kuo, Harold Williams
We study the coamoebae of Lagrangian submanifolds of , specifically how the combinatorics of their degenerations encodes the homological algebra of mirror co…