类库 › repoprover
facebookresearch

facebookresearch/repoprover

RepoProver是一个用于大规模数学教材形式化的多智能体框架,基于Lean定理证明器。它通过协调多个LLM智能体(包括翻译定义定理的草稿者、完成证明的证明者和审核质量的评审者)来协作处理共享的Git仓库,实现数学教材的自动形式化。

评论

Home - Wiki
Copyright © 2011-2026 iteam. Current version is 2.155.2. UTC+08:00, 2026-04-28 16:05
浙ICP备14020137号-1 $Map of visitor$