Cite
Notes
Only stored in your browser.
Attribution
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
arXiv 2026
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
arXiv 2025
from 2 papers
Greg Durrett
Isil Dillig
Anirudh Khatry
Jia Pan
Robert Zhang
Yutong Xin
Ziteng Wang