CoolFace
Modelpublic

Wauplin/alphageometry

sourceHugging Faceapache-2.0updated 3y agoView on Hugging Face
10likes
Model Card

Solving Olympiad Geometry without Human Demonstrations

This repository contains the weight files necessary to reproduce DDAR and AlphaGeometry, the two geometry theorem provers introduced in the Nature 2024 paper:

<center>"Solving Olympiad Geometry without Human Demonstrations".</center>

<center> <img alt="fig1" width="800px" src="https://raw.githubusercontent.com/google-deepmind/alphageometry/main/fig1.svg"> </center>

For more details and instructions on how to use them, check out https://github.com/google-deepmind/alphageometry.