Goedel-LM/Goedel-Pset-v1
收藏Hugging Face2025-04-18 更新2025-07-05 收录
下载链接：
https://hf-mirror.com/datasets/Goedel-LM/Goedel-Pset-v1
下载链接
链接失效反馈官方服务：
资源简介：
Goedel-Pset是一个包含1.73百万个形式化Lean 4语句的开源数据集。它是由从Numina问题转换而来，并通过了编译正确性测试和忠实性与完整性测试。该数据集用于自动化定理证明研究。
Goedel-Pset is an open-source dataset consisting of 1.73 million formalized Lean 4 statements. It is derived from Numina problems and has passed the Compiling Correctness Test and the Faithfulness and Completeness Test. The dataset is used for research in automated theorem proving.
提供机构：
Goedel-LM
