DiagramAgent/Geoint
收藏Hugging Face2025-08-29 更新2025-11-01 收录
下载链接：
https://hf-mirror.com/datasets/DiagramAgent/Geoint
下载链接
链接失效反馈官方服务：
资源简介：
Geoint是一个为形式几何问题解决而设计的全面基准数据集，包含1885个精心策划的几何问题，覆盖平面、空间和立体几何等多个类别。每个问题都有结构化的文本描述和视觉图表，并使用Lean 4证明助手进行形式化表示，支持在可验证框架内进行形式推理。
Geoint is a comprehensive benchmark dataset designed for formal geometric problem solving, containing 1,885 carefully curated geometric problems across various categories including plane, spatial, and solid geometry. Each problem is accompanied by structured textual descriptions and visual diagrams, and is represented formally using the Lean 4 proof assistant, supporting formal reasoning within a verifiable framework.
提供机构：
DiagramAgent
