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:
For more details and instructions on how to use them, check out https://github.com/google-deepmind/alphageometry.
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support
HF Inference deployability: The model has no library tag.