AI 大模型

代码大模型 / AI 编程

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

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

1. 代码生成 4 篇

2505.20302 2025-11-20 cs.PL cs.AI cs.LO 81%

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification

Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg

专题命中代码生成：code generation(title,abstract)；分类 cs.AI、cs.PL

2511.15107 2025-11-20 cs.SE cs.AI 62%

Effective Code Membership Inference for Code Completion Models via Adversarial Prompts

Yuan Jiang, Zehao Li, Shan Huang, Christoph Treude, Xiaohong Su, Tiantian Wang

机构 * Harbin Institute of Technology（哈尔滨理工大学）； Singapore Management University（新加坡国立大学）

专题命中代码生成：code model(abstract)；分类 cs.SE、cs.AI

2511.14990 2025-11-20 cs.AR 50%

CoroAMU: Unleashing Memory-Driven Coroutines through Latency-Aware Decoupled Operations

Zhuolun Jiang, Songyue Wang, Xiaokun Pei, Tianyue Lu, Mingyu Chen

专题命中代码生成：code generation(abstract)

Journal ref Proceedings of the 2025 International Conference on Parallel Architecture and Compilation (PACT). USA: IEEE Computer Society, 2025, p. 431-444

2511.14762 2025-11-20 cs.DB 50%

Castle: Causal Cascade Updates in Relational Databases with Large Language Models

Yongye Su, Yucheng Zhang, Zeru Shi, Bruno Ribeiro, Elisa Bertino

专题命中代码生成：code generation(abstract)

2. 测试生成 1 篇

2511.15665 2025-11-20 cs.SE 74%

Quantum-Guided Test Case Minimization for LLM-Based Code Generation

Huixiang Zhang, Mahzabeen Emu

专题命中测试生成：code generation(title)；分类 cs.SE

Comments This is a preprint version, full paper has been accepted in IEEE CASCON 2025 and will appear on lEEE Xplore

3. 代码评测 3 篇

2410.03103 2025-11-20 cs.LG cs.CL cs.SE 67%

Planning-Aware Code Infilling via Horizon-Length Prediction

Yifeng Ding, Hantian Ding, Shiqi Wang, Qing Sun, Varun Kumar, Zijian Wang

机构 * University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）； AWS AI Labs（AWS人工智能实验室）； Meta

专题命中代码评测：repository(abstract)；分类 cs.SE、cs.CL、cs.LG

2511.14876 2025-11-20 cs.CR cs.CV cs.LG cs.RO 57%

Attacking Autonomous Driving Agents with Adversarial Machine Learning: A Holistic Evaluation with the CARLA Leaderboard

Henry Wong, Clement Fung, Weiran Lin, Karen Li, Stanley Chen, Lujo Bauer

机构 * Carnegie Mellon University（卡内基梅隆大学）

专题命中代码评测：repository(abstract)；分类 cs.LG

Comments 12 pages

2511.15429 2025-11-20 cs.CV 50%

WarNav: An Autonomous Driving Benchmark for Segmentation of Navigable Zones in War Scenes

WarNav: 一种用于战场场景中可导航区域分割的自动驾驶基准测试集

Marc-Emmanuel Coupvent des Graviers, Hejer Ammar, Christophe Guettier, Yann Dumortier, Romaric Audigier

机构 * Safran Electronics and Defense（萨弗兰电子与防御公司）； Université Paris-Saclay（巴黎-萨克雷大学）； CEA（法国原子能委员会）； List

专题命中代码评测：repository(abstract)

AI总结 WarNav是一个专为战场场景中自主车辆导航设计的语义分割基准测试集，旨在填补传统城市驾驶资源与战区独特操作场景之间的空白。

Comments Accepted at CAID (Conference on Artificial Intelligence for Defence)

4. 仓库级理解 1 篇

2503.08589 2025-11-20 cs.CV 50%

Integration of nested cross-validation, automated hyperparameter optimization, high-performance computing to reduce and quantify the variance of test performance estimation of deep learning models

Paul Calle, Averi Bates, Justin C. Reynolds, Yunlong Liu, Haoyang Cui, Sinaro Ly, Chen Wang, Qinghao Zhang, Alberto J. de Armendi, Shashank S. Shettar, Kar Ming Fung, Qinggong Tang, Chongle Pan

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

Journal ref Computer Methods and Programs in Biomedicine, Volume 272, 2025, 109063, ISSN 0169-2607