类库 › repoprover
facebookresearch

facebookresearch/repoprover

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

评论

首页 - Wiki
Copyright © 2011-2026 iteam. Current version is 2.155.1. UTC+08:00, 2026-04-06 14:13
浙ICP备14020137号-1 $访客地图$