File size: 628 Bytes
1f97e67 4299896 ad8affb |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
---
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](https://www.nature.com/articles/s41586-023-06747-5) paper:
*<center>"Solving Olympiad Geometry without Human Demonstrations".</center>*
<center>
<img alt="fig1" width="800px" src="https://raw.githubusercontent.com/google-deepmind/alphageometry/main/fig1.svg">
</center>
For more details and instructions on how to use them, check out https://github.com/google-deepmind/alphageometry. |