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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face