NL2VBENCH
收藏官方服务：
资源简介：
NL2VBench is a benchmark for natural-language to verifiable Rust generation in Verus. It contains 762 curated tasks from five public sources and serves as a testbed for verification-aware code synthesis.
提供机构：
Zenodo创建时间：
2026-05-11
