A refactored, user-friendly version of AlphaGeometry's symbolic solver that adds length and angle reasoning and Pythagoras, and proves one previously unsolved IMO problem with human-supplied auxiliary constructions.
52nd International Mathematical Olympiad Problem : Shortlist With Solutions
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GR 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Newclid: A User-Friendly Replacement for AlphaGeometry
A refactored, user-friendly version of AlphaGeometry's symbolic solver that adds length and angle reasoning and Pythagoras, and proves one previously unsolved IMO problem with human-supplied auxiliary constructions.