代码大模型 / AI 编程

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

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

1. 程序分析与验证 1 篇

2603.06849 2026-03-10 cs.LO cs.AI 57%

Twitch: 为等式定理证明学习抽象

Guy Axelrod, Moa Johansson, Nicholas Smallbone

机构 * Chalmers University, of Technology（查尔姆斯理工大学）； University of Gothenburg（哥德堡大学）

专题命中程序分析与验证：program synthesis(abstract)；分类 cs.AI

AI总结 Twitch通过自动学习等式定理证明中的抽象模式，提升证明效率和速度。

Comments 20 pages, submitted to IJCAR 2026

↑