bethgelab/simplegeometry

SimpleGeometry This repository contains simplified code for the paper: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry, Arxiv Shiven Sinha*, Ameya Prabhu*, Ponnurangam Kumaraguru, Siddharth Bhat+, Matthias Bethge+ [PDF] [Slides] [Bibtex] To run either of Wu's, Full-Angle, or Deductive Database provers implemented in JGEX, Download JGEX Import any of problems files. The diagram should be automatically… See the full description on the dataset page: https://huggingface.co/datasets/bethgelab/simplegeometry.

<iframe src="https://silytics.si/embed/item/d55a5c20-0bcc-4b87-b5b9-7730d493584b" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.