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