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:
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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: