Wauplin
/

alphageometry

Model card Files Files and versions Community

Edit 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:

"Solving Olympiad Geometry without Human Demonstrations".

fig1

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

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference API

Unable to determine this model's library. Check the docs .