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.
A deductive database approach to automated geometry theorem proving and discovering
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.