maxRyeery/VeriSoftBench

VeriSoftBench VeriSoftBench is a benchmark for evaluating neural theorem provers on software verification tasks in Lean 4. The dataset contains 500 theorem-proving tasks drawn from 23 real-world Lean 4 repositories spanning compiler verification, type system formalization, applied verification (zero-knowledge proofs, smart contracts), semantic frameworks, and more. 📄 Paper (arXiv): https://arxiv.org/html/2602.18307v1💻 Full benchmark + pipeline + setup:… See the full description on the dataset page: https://huggingface.co/datasets/maxRyeery/VeriSoftBench.