sunblaze-ucb/verina
收藏Hugging Face2026-01-05 更新2025-07-05 收录
下载链接：
https://hf-mirror.com/datasets/sunblaze-ucb/verina
下载链接
链接失效反馈官方服务：
资源简介：
Verina是一个用于可验证代码生成的基准测试数据集，包含函数的签名字段、测试用例、元数据和代码难度等信息。
Verina is a benchmarking dataset for verifiable code generation, containing function signature fields, test cases, metadata, and code difficulty information.
提供机构：
sunblaze-ucb
