Newclid改进了AlphaGeometry的符号推理引擎，更易用且支持教育场景。
Newclid: A User-Friendly Replacement for AlphaGeometry
- 重构并升级了符号求解器DDARN，代码模块化并新增调试工具
- 支持几何画板输入，能处理长度、角度等度量关系及勾股定理
- 可解决原未解的5道题中的1道，适合教育和研究使用
我们提出了一个名为Newclid的新几何符号求解器，基于AlphaGeometry。Newclid包含一个名为DDARN的符号求解器（源自DDAR-Newclid），是对AlphaGeometry中DDAR求解器的重大重构与升级，显著提升用户友好性——既便于终端用户操作，也利于开发者扩展代码库。对开发者而言，改进包括模块化代码结构和新增调试与可视化工具；对用户而言，新引入命令行接口（CLI），支持代理引导DDARN进行推理。DDARN在内部推理上具有灵活性，可通过代理进行引导。此外，支持来自GeoGebra的输入，使Newclid适用于教育场景。其求解范围扩展至更好地理解度量几何概念（如长度、角度），并在证明中应用勾股定理等定理。已修复多个漏洞，提升可复现性。最后，我们重新评估了原始AG-30数据集中余下的5道原AlphaGeometry无法求解的问题，并对比了在广度优先搜索代理模式下运行的DDARN的表现，发现其成功解决其中1道问题。代码已开源：https://github.com/LMCRC/Newclid
原文摘要 · Abstract (English)
We introduce a new symbolic solver for geometry, called Newclid, which is based on AlphaGeometry. Newclid contains a symbolic solver called DDARN (derived from DDAR-Newclid), which is a significant refactoring and upgrade of AlphaGeometry's DDAR symbolic solver by being more user-friendly - both for the end user as well as for a programmer wishing to extend the codebase. For the programmer, improvements include a modularized codebase and new debugging and visualization tools. For the user, Newclid contains a new command line interface (CLI) that provides interfaces for agents to guide DDARN. DDARN is flexible with respect to its internal reasoning, which can be steered by agents. Further, we support input from GeoGebra to make Newclid accessible for educational contexts. Further, the scope of problems that Newclid can solve has been expanded to include the ability to have an improved understanding of metric geometry concepts (length, angle) and to use theorems such as the Pythagorean theorem in proofs. Bugs have been fixed, and reproducibility has been improved. Lastly, we re-evaluated the five remaining problems from the original AG-30 dataset that AlphaGeometry was not able to solve and contrasted them with the abilities of DDARN, running in breadth-first-search agentic mode (which corresponds to how DDARN runs by default), finding that DDARN solves an additional problem. We have open-sourced our code under: https://github.com/LMCRC/Newclid
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。