Goedel-LM/Goedel-Pset
收藏Hugging Face2025-04-01 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/Goedel-LM/Goedel-Pset
下载链接
链接失效反馈官方服务：
资源简介：
Goedel-Pset是最大的开源_Lean 4语句数据集，包含1.73百万个形式化语句。该数据集是通过训练两个形式化器将Numina问题转换为_Lean 4语句创建的，每个语句都经过了编译正确性测试和忠实性与完整性测试，以确保语法正确性和对原始问题的准确反映。
Goedel-Pset is the largest open-source dataset of Lean 4 statements, consisting of 1.73 million formalized statements. The dataset was created by training two formalizers to convert Numina problems into Lean 4 statements, with each statement undergoing a Compiling Correctness (CC) Test and a Faithfulness and Completeness (FC) Test to ensure syntactical correctness and accurate reflection of the original informal problems.
提供机构：
Goedel-LM
