bethgelab/simplegeometry download history

bethgelab/simplegeometry is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 198 times (31 in the last 7 days), and 5,175 times in total. It ranks #68,128 among datasets by monthly downloads.

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+

Open bethgelab/simplegeometry on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.