Hugging Face's logo

Wauplin
/
alphageometry

Model card Files Community
1

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 Providers NEW
This model is not currently available via any of the supported Inference Providers.
The model cannot be deployed to the HF Inference API: The model has no library tag.