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