|
--- |
|
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>* |
|
|
|
</br> |
|
|
|
<center> |
|
<img alt="fig1" width="800px" src="https://raw.githubusercontent.com/google-deepmind/alphageometry/main/fig1.svg"> |
|
</center> |
|
|
|
</br> |
|
|
|
For more details and instructions on how to use them, check out https://github.com/google-deepmind/alphageometry. |
