Lean-Workbook
收藏Opencsg2024-10-09 更新2025-05-03 收录
下载链接：
https://www.opencsg.com/datasets/ShangHaiAILab/Lean-Workbook
下载链接
链接失效反馈官方服务：
资源简介：
Lean Workbook 提供了竞赛级别的数学问题数据集，包含 Lean Workbook 和 Lean Workbook Plus 两个部分，分别有 57231 和 82893 个问题。每个问题都提供了自然语言描述、答案、形式化描述以及形式化证明（如果存在）。该数据集适用于训练自动形式化模型和搜索证明。本仓库使用 Apache-2.0 协议开源，并提供代码和数据。
创建时间：
2024-07-19
