document-level-formalization

标签

#document-level-formalization

LeanFlow：工作流驱动的Lean自动形式化案例研究

arXiv cs.AI ↗ · 2026-07-24 缓存

LeanFlow是一个LLM智能体系统，用于将数学论文转化为形式化的Lean项目，通过案例研究和与Kimi-K2.6及GPT-5.5的基准测试进行评估，在预算限制内实现了高完成率。

0 人收藏 0 人点赞