ProofBench: official evaluation runs
收藏官方服务：
资源简介：
Archive of the official ProofBench evaluation runs, the data behind the accompanying paper. Each version adds one run (or one part of a run executed in parts): the zipped run folder (manifest, Inspect AI logs, results) and its SHA-256 checksums. Files are restricted until the accompanying paper is published. Pilot runs are archived separately (10.5281/zenodo.23606289).
提供机构：
Zenodo创建时间：
2026-10-31
