This repository contains the code necessary to reproduce DDAR and AlphaGeometry, the two geometry theorem provers introduced in https://github.com/google-deepmind/alphageometry. Here is the Google Colab:
jacubero/AlphaGeometry
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|