Paper
Solving Olympiad Geometry without Human Demonstrations (AlphaGeometry)
Combined a neural language model with a symbolic deduction engine to solve 25/30 IMO geometry problems (near gold-medal level). The neuro-symbolic approach g...
Related papers
21
-
Berggruen Institute
-
Santa Fe Institute
-
University of California San Diego
-
University of Chicago
-
Boston University
-
Cornell University
-
Stanford University
-
The Ohio State University
-
Texas A&M University
-
The University of Melbourne
-
University of California, Los Angeles
-
The University of Melbourne
-
University of California, Los Angeles
Looking for more?
Open the arXiv / PDF link for the full paper. Abstract and authors appear here when enrichment has run.