实体 daVinci-Prover

daVinci-Prover

PulseAugur coverage of daVinci-Prover — every cluster mentioning daVinci-Prover 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_356635 · Nov 12 · 07:44

daVinci-Prover 通过原生智能体中途训练增强形式化定理证明

研究人员开发了 daVinci-Prover，这是一个与 Lean 验证器交互的形式化定理证明新工具。该系统利用了一个包含 337 亿个 token 的中途训练语料库，专注于分解、搜索、自我验证和修订，以及智能体轨迹。将此方法应用于 Qwen3.5 系列，在定理证明基准测试中取得了显著的性能提升，尤其是在 MiniF2F 上实现了接近饱和的性能。