AI 大模型

代码大模型 / AI 编程

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

2026-03-03 至 2026-03-03 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2603.01463 2026-03-03 cs.LO 50%

在依赖类型理论中实现 inhabit 和 unification

Chase Norman, Jeremy Avigad

专题命中程序分析与验证：program synthesis(abstract)

AI总结本文提出 Canonical-min，一种在依赖类型理论中求解 inhabit 和 unification 的高效方法，并引入 DTTBench 作为相关基准测试。