PulseAugur
实时 09:56:05
实体 Formal Disco

Formal Disco

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_128719 ·

    新系统Formal Disco可大规模生成已验证的代码数据集

    研究人员开发了Formal Disco,一个旨在生成大量形式化验证程序数据集的可扩展系统。该系统采用分布式方法,包含三种类型的AI工作者:启动者负责勾画程序,修复者负责解决验证错误,扩展者负责扩展现有代码。Formal Disco旨在通过创建合成数据来克服形式化验证中的数据稀缺问题,这些数据已被用于微调开放模型,使其在与验证相关的任务上达到或超过Claude Opus 4.5的性能。该项目还引入了最大熵原理来生成多样化的程序,并发布了…