GeoCoq
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/GeoCoq/GeoCoq
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是从GeoCoq知识库中衍生出的证明步骤数据，它被用作训练多语言模型和Coq模型的一部分，其任务是进行证明步骤预测。
This dataset consists of proof step data derived from the GeoCoq knowledge base, and it is utilized as a component for training multilingual models and Coq models, with the core task being proof step prediction.
提供机构：
GeoCoq
