Reap框架与Reaper-1模型发布
热点事件持续更新
Reap框架与Reaper-1模型发布
1 篇报道1 个报道来源10 小时前更新
先了解这件事
AI 综述
Yutong Wang等作者发布开源框架Reap和1.7B参数的策略价值模型Reaper-1，用于在Lean4中学习和分析形式化证明搜索。作者称，Reaper-1配合独立的前提选择器，在miniF2F-test上以pass@32解决79.9%的题目，在同规模开源证明器中达到领先水平，并与更大模型保持竞争力。
AI 根据报道生成 · 4 小时前更新
最新进展11月3日 13:00
Reap：用轻量模型揭示蒙特卡洛证明搜索报道时间线
沿着报道，了解事件的不同侧面。
11月3日
- arXiv · cs.AIReap：用轻量模型揭示蒙特卡洛证明搜索
作者提出 Reap，一个在 Lean4 中学习和分析形式化证明搜索的开放框架，并训练出 1.7B 参数的策略价值模型 Reaper-1。Reaper-1 配合独立的前提选择器，在 miniF2F-test 上以 pass@32 解决 79.9% 的题目，在同规模开源证明器中达到领先水平，并与更大模型保持竞争力。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。