Problems Datasets

In the development of this project, a couple of databases of problems have been gathered, both for benchmarking and for testing of specific features of the software. They include material present in the original AlphaGeometry repository and new material. All of it is described in this section.

Contents:

• imo_ag_30
• jgex_ag_231
• new_benchmark_50
• examples