LeanCopilot:基于大语言模型的 Lean 定理证明辅助项目

Star1

Star1

LLMs as Copilots for Theorem Proving in Lean

项目介绍

将大型语言模型（LLMs）作为辅助工具，用于在Lean证明系统中进行定理证明【此简介由AI生成】

MIT C++921提交数formal-mathematics lean lean4 llm llm-inference machine-learning theorem-proving pytorch

定制我的领域

151.3 K126访问 GitHub