Verifier-supervised fine-tuning for Rust/Verus: vericoding dataset (restricted)
收藏官方服务：
资源简介：
Restricted training dataset for verifier-supervised fine-tuning on Rust/Verus vericoding tasks. Access-restricted because a majority of rows derive from an upstream corpus with an unresolved redistribution license; request access for research use. Anonymized for double-blind review.
提供机构：
Zenodo创建时间：
2026-07-25
