AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-11-27 至 2025-11-27 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 仓库级理解 1 篇

2511.19142 2025-11-27 cs.LO cs.FL 56%

在Lean中形式化计算路径与基本群

Arthur F. Ramos, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz, Tiago M. L. de Veras

专题命中仓库级理解：repository(abstract,comments)

AI总结本文在Lean 4中形式化了计算路径理论，并通过六个代数拓扑例子展示了其在同伦计算中的应用。

Comments 27 pages, 2 figures. All definitions and proofs are available in the ComputationalPathsLean GitHub repository

↑