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. |