metadata
license: apache-2.0
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.