ZJUVAI/GenesisGeo
收藏Hugging Face2025-09-30 更新2025-10-25 收录
下载链接：
https://hf-mirror.com/datasets/ZJUVAI/GenesisGeo
下载链接
链接失效反馈官方服务：
资源简介：
这是一个大规模的合成数据集，包含21799134个具有完整证明轨迹的几何定理证明问题，其中2964316个问题在其证明中涉及辅助构造。该数据集由基于Newclid构建的GenesisGeo框架生成，扩展了原始的AlphaGeometry方法，为训练欧几里得几何中的神经符号推理模型提供了丰富的资源。
This is a large-scale synthetic dataset containing 21,799,134 geometric theorem proving problems with complete proof traces, with 2,964,316 of these problems involving auxiliary constructions in their proofs. Generated by the GenesisGeo framework built upon Newclid, this dataset extends the original AlphaGeometry methodology and provides a rich resource for training neuro-symbolic reasoning models in Euclidean geometry.
提供机构：
ZJUVAI
