实体 VeriCoding

VeriCoding

PulseAugur coverage of VeriCoding — every cluster mentioning VeriCoding across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_62929 · Jun 1 · 04:00

AI通过RL和引导搜索学习形式化验证

研究人员开发了新颖的方法来自动化大型语言模型的形式化验证，解决了证明助手和面向验证的语言数据稀缺的问题。他们的方法利用了具有可验证奖励的强化学习（RLVR）和验证器引导的推理搜索。在Dafny中的实验显示，已验证的奖励显著增加，尽管规范攻击被确定为一个挑战。在Lean中进一步的改进和验证器引导的脚手架提高了特定基准上的证明生成成功率。