实体
EasyProver
EasyProver
PulseAugur coverage of EasyProver — every cluster mentioning EasyProver across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的精简证明器EasyProver可处理真实世界代码验证任务
研究人员开发了EasyProver，一个新颖的精简证明系统，专为真实世界代码验证而设计。该系统利用递归代理、隔离上下文和异步搜索来处理复杂的验证任务。EasyProver在各种基准测试中取得了显著成功，包括证明了绝大多数PutnamBench问题和形式化IMO 2026问题，并已应用于验证真实世界的Rust代码实现。
-
EasyProver系统利用递归代理解决Putnam、IMO基准测试
研究人员开发了EasyProver，一个新颖的Lean证明系统，它利用递归代理和异步搜索来处理复杂的数学和代码验证任务。该系统表现出色，解决了Putnam和国际数学奥林匹克竞赛的大部分基准问题，以及来自其他专业基准的众多验证条件。为了进一步挑战自动证明器并支持强化学习，该团队还推出了Aegis，一个从编程竞赛问题生成困难验证任务的系统，将其转换为正式的Lean规范。