arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新，休息一下吧，周末愉快~~

AI 大模型

代码大模型 / AI 编程

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

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

1. 程序分析与验证 1 篇

2504.06421 2025-10-07 cs.PL 57%

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators

Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware

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

Comments Extended version of OOPSLA 2025 paper

详情
DOI
10.1145/3763158

展开后加载摘要…

URL PDF HTML 收藏
↑