Update README.md

README.md

@@ -2,4 +2,20 @@
 license: apache-2.0
 ---
 
-Checkout https://github.com/google-deepmind/alphageometry.
+# 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.