VeruSAGE-Bench: A Benchmark Suite for Rust System Verification

Published in The Fortieth Annual Conference on Neural Information Processing Systems, Evaluations and Datasets Track, 2026