热点
"Lean Copilot" 相关文章
Lean Copilot: An AI Tool that Allows Large Language Models (LLMs) to be used in Lean for Proof Automation
MarkTechPost@AI 2024-07-30T08:04:41.000000Z