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
