foundry-ai/leanbench
收藏Hugging Face2026-04-28 更新2026-05-03 收录
下载链接：
https://hf-mirror.com/datasets/foundry-ai/leanbench
下载链接
链接失效反馈官方服务：
资源简介：
这是一个用于评估AI系统在Lean 4定理证明任务上的基准数据集，包含482个从真实Lean 4 pull请求中提取的任务。
A benchmark dataset for evaluating AI systems on Lean 4 theorem proving tasks. This dataset contains 482 tasks extracted from real Lean 4 pull requests.
提供机构：
foundry-ai
