population-level-search

#population-level-search

MaxProof: 基于生成验证器强化学习与群体级测试时扩展的数学证明方法

Hugging Face Daily Papers ↗ · 2026-06-11 缓存

MaxProof 是一个测试时扩展框架，它利用生成验证器和群体级搜索来增强数学证明生成，在 IMO 2025 和 USAMO 2026 上取得了超过人类金牌阈值的分数。

0 人收藏 0 人点赞