google-deepmind/alphageometry: Solving Olympiad Geometry without Human Demonstrations
Solving Olympiad Geometry without Human Demonstrations
Category: math
Language: Python
Topics: geometry, theorem-prover