AlphaGeometry: An Olympiad-level AI system for geometry

17 janvier 2024

,

Advancing AI reasoning in mathematics