论文18:04CHORUS:互补专家框架提升硬件验证测试激励生成覆盖率做硬件验证的可以看看,CHORUS用4B小模型在CVDP-ECov上干翻了671B的DeepSeek-R1,靠的是把多个专家模型合并起来,思路挺巧。#CHORUS#硬件验证#测试激励生成#CVDP-ECovaarXiv: DeepSeek@Hejia Zhang 等 6 人原文稍后读已读值得跟进有用关注 CHORUS