AlphaGeometry - An Olympiad-level AI system for geometry

2024-01-19