kfdong/STP_Lean_0320
收藏Hugging Face2025-03-24 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/kfdong/STP_Lean_0320
下载链接
链接失效反馈官方服务：
资源简介：
这是一个Self-play Theorem Prover最终训练数据集的更新版本，包含了从mathlib4中提取的示例、LeanWorkbook中陈述的正确证明，以及模型在自我玩耍训练期间提出的猜想的确切证明。
This is an updated version of the final training dataset of Self-play Theorem Prover, including extracted examples from mathlib4, correct proofs of statements in LeanWorkbook, and correct proofs of conjectures proposed by our model during self-play training.
提供机构：
kfdong
