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
