LeanCopilot 产品

来源: githubOPEN_SOURCE开源C++MIT发布于 2023-09-09

LLMs as Copilots for Theorem Proving in Lean

1277

Stars

125

Forks

0

技术栈

0

替代方案

0

相关事件

人工智能大语言模型大模型 / LLM 深度学习框架

LeanCopilot · 开发者/公司

L

lean-dojoCOMPANY