5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.AI2025★ 1 cited
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.NA2016★ 5 cited
Pixel Arrays: A fast and elementary method for solving nonlinear systems
David I. Spivak, Magdalen R. C. Dobson, Sapna Kumari +1
We present a new method, called the pixel array method, for approximating all solutions in a bounding box for an arbitrary nonlinear system of relations. In contrast with other sol…