Goedel-LM/Lean-workbook-proofs
收藏Hugging Face2025-03-24 更新2025-02-15 收录
下载链接：
https://hf-mirror.com/datasets/Goedel-LM/Lean-workbook-proofs
下载链接
链接失效反馈官方服务：
资源简介：
这是一个包含29750个示例的Lean-workbook问题解决方案的数据集，通过Goedel-Prover-SFT找到。每个示例包含problem_id和full_proof两个字段，分别代表问题ID和完整的证明。
This is a dataset of 29,750 Lean-workbook problem solutions found by Goedel-Prover-SFT. Each example includes a problem_id and a full_proof field, representing the problem ID and the complete proof, respectively.
提供机构：
Goedel-LM
