bethgelab/simplegeometry

---
license: cc-by-4.0
---

# SimpleGeometry

This repository contains simplified code for the paper:

**Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry, Arxiv**</br>
Shiven Sinha\*, Ameya Prabhu\*, Ponnurangam Kumaraguru, Siddharth Bhat⁺, Matthias Bethge⁺</br>
[[PDF](https://arxiv.org/abs/2404.06405)]
[[Slides]()]
[[Bibtex](https://huggingface.co/datasets/bethgelab/simplegeometry/#citation)]

To run either of Wu's, Full-Angle, or Deductive Database provers implemented in JGEX,

- Download [JGEX](https://github.com/kovzol/Java-Geometry-Expert)
- Import any of problems files. The diagram should be automatically constructed once this is done.
- Pick your prover from the top right corner of the left pane and click on the prove button.

In the case of 2002 P2A and P2B, you need to launch a separate JGEX instance and recreate the diagram from scratch using the provided file as reference.
The proof process must be performed on this new instance.

We did not require changing the default memory limits to produce the results in the paper. However, you can additionally build JGEX from source to increase the memory limits for provers. Follow the instructions available in JGEX's documentation, and before running `./gradlew run`, (tweak and) paste the following line of code in the terminal to the memory limit to 10GB.

```bash
export _JAVA_OPTIONS="-Xmx10g"
```

#### If you discover any bugs in the code please contact me, I will cross-check them with my nightmares.

# Citation

We hope SimpleGeometry provides strong baselines, and Wu's method is useful for your cool automated theorem prover! To cite our work:

```
@inproceedings{sinha2024wu,
title={Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry},
author={Sinha, Shiven and Prabhu, Ameya and Kumaraguru, Ponnurangam and Bhat, Siddharth and Bethge, Matthias},
booktitle={arXiv preprint arXiv:2404.06405},
month={April},
year={2024}
}
```

原始信息汇总

数据集概述

数据集名称

SimpleGeometry

数据集内容

本数据集包含用于论文研究的简化代码，该论文探讨了Wus方法如何提升符号AI，使其在IMO几何问题中达到银牌水平，以及AlphaGeometry如何超越金牌水平。

使用方法

• 下载并安装JGEX工具。
• 导入问题文件，系统将自动构建图形。
• 在左侧窗格的右上角选择证明器，并点击证明按钮进行操作。

注意事项

对于2002 P2A和P2B问题，需启动单独的JGEX实例，并根据提供的文件重新创建图形。证明过程需在此新实例上执行。

引用信息

@inproceedings{sinha2024wu, title={Wus Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry}, author={Sinha, Shiven and Prabhu, Ameya and Kumaraguru, Ponnurangam and Bhat, Siddharth and Bethge, Matthias}, booktitle={arXiv preprint arXiv:2404.06405}, month={April}, year={2024} }