实体
CVDP-ECov
CVDP-ECov
PulseAugur coverage of CVDP-ECov — every cluster mentioning CVDP-ECov across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
CHORUS 框架将硬件验证激励生成效率提升 13.5% · arXiv
研究人员开发了 CHORUS，一个用于生成高覆盖率硬件验证测试激励的新型训练后框架。通过利用分阶段 SFT 检查点和密集奖励 RL 的互补优势，CHORUS 将多个专家整合到一个 4B 模型中。该方法显著优于现有方法，在 CVDP-ECov 基准测试上实现了 88.0% 的 Pass@1，比规模大得多的 671B DeepSeek-R1 模型提高了 13.5 个百分点。
-
CHORUS框架提升硬件验证代码生成
研究人员开发了CHORUS，一个用于增强硬件验证代码生成的训练后框架。该框架利用分阶段监督微调（SFT）创建多样化的检查点，然后使用密集奖励强化学习（RL）将这些检查点精炼成专门的专家。通过结合这些互补的专家，CHORUS在CVDP-ECov基准测试上显著提高了性能，达到了88.0%的Pass@1。这一结果比规模大得多的DeepSeek-R1模型的性能高出13.5个百分点。