1 citations · 1 across the 5 of their papers we have counts for
5 papers
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…
Newclid: A User-Friendly Replacement for AlphaGeometry
Vladmir Sicca, Tianxiang Xia, Mathïs Fédérico +3
We introduce a new symbolic solver for geometry, called Newclid, which is based on AlphaGeometry. Newclid contains a symbolic solver called DDARN (derived from DDAR-Newclid), which…
A prescribed scalar and boundary mean curvature problem and the Yamabe classification on asymptotically Euclidean manifolds with inner boundary
Vladmir Sicca, Gantumur Tsogtgerel
We consider the problem of finding a metric in a given conformal class with prescribed non-positive scalar curvature and non-positive boundary mean curvature on an asymptotically E…
A prescribed scalar and boundary mean curvature problem on compact manifolds with boundary
Vladmir Sicca, Gantumur Tsogtgerel
We consider the problem of finding a metric in a given conformal class with prescribed nonpositive scalar curvature and nonpositive boundary mean curvature on a compact manifold wi…
Non-Euclidean ideal spectrometer
Henrique N. Sá Earp, Bernardo de Barros Correia Kyotoku, Vladmir Sicca
We describe the mathematical scheme for an anomaly-free ideal spectrometer, based on a 2-dimensional plane medium with conical regions of bounded slope. Moreover, the construction…