热点
"LLMLean" 相关文章
LLMLean: An AI Tool that Integrates LLMs and Lean for Tactic Suggestions and Proof Completion
MarkTechPost@AI 2024-08-01T09:34:29.000000Z