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.
- Downloads last month
- 0
Unable to determine this model's library. Check the
docs
.