arXiv Artificial Intelligence· \'Alvaro F. Silva, Martim Afonso, Nuno Saavedra, Emily First, Alexandra Mendes, Jo\~ao F. Ferreira·· 2 天前AI 评分34
SeVerus：面向 Rust 验证的上下文感知游戏化基准测试
SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification
AI 导读
SeVerus 是一种上下文感知技术，可将 Verus（Rust 程序验证器）的验证任务组织成游戏化关卡，通过逐步移除证明上下文生成基准。基于六个开源 Verus 项目，它生成了 819 个任务、共 10,095 个关卡。
来源：arXiv Artificial Intelligence · arxiv.org