代码大模型 / AI 编程

Toward Green Code: Prompting Small Language Models for Energy-Efficient Code Generation

Humza Ashraf, Syed Muhammad Danish, Shadikur Rahman, Zeeshan Sattar

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

DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base

Zahin Ibnat, Paul E. Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor

机构 * University of Florida（佛罗里达大学） 纠错

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

Comments 22 pages, 6 figures

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation

Lesly Miculicich, Mihir Parmar, Hamid Palangi, Krishnamurthy Dj Dvijotham, Mirko Montanari, Tomas Pfister, Long T. Le

机构 * Google Cloud AI Research（谷歌云人工智能研究） ； Google DeepMind（谷歌DeepMind） 纠错

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

Comments 22 pages

H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference

Harshil Vejendla

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL、cs.LG

Comments MIT URTC 2025 Technical Paper (Oral), 5 pages, 1 figure

Lang-PINN: From Language to Physics-Informed Neural Networks via a Multi-Agent Framework

Xin He, Liangliang You, Hongduan Tian, Bo Han, Ivor Tsang, Yew-Soon Ong

机构 * Agency for Science, Technology and Research (A*STAR)（科技研究局） ； Hong Kong Baptist University（香港 Baptist 大学） ； North China Electric Power University（华北电力大学） 纠错

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

Comments PINN, PDE, Agent, LLM

Every Step Counts: Decoding Trajectories as Authorship Fingerprints of dLLMs

Qi Li, Runpeng Yu, Haiquan Lu, Xinchao Wang

机构 * National University of Singapore（新加坡国立大学） 纠错

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

CADReview: Automatically Reviewing CAD Programs with Error Detection and Correction

Jiali Chen, Xusen Hei, HongFei Liu, Yuancheng Wei, Zikun Deng, Jiayuan Xie, Yi Cai, Li Qing

机构 * School of Software Engineering, South China University of Technology（华南理工大学软件学院） ； Key Laboratory of Big Data and Intelligent Robot Ministry of Education（教育部大数据与智能机器人重点实验室） ； The Hong Kong Polytechnic University（香港理工大学） 纠错

专题命中 程序修复 ：program repair(abstract)

Comments ACL 2025 main conference

Rationale-Augmented Retrieval with Constrained LLM Re-Ranking for Task Discovery

Bowen Wei

机构 * George Mason University（乔治·马歇尔大学） 纠错

专题命中 测试生成 ：repository(abstract)；分类 cs.CL、cs.AI

ARISE: An Adaptive Resolution-Aware Metric for Test-Time Scaling Evaluation in Large Reasoning Models

Zhangyue Yin, Qiushi Sun, Zhiyuan Zeng, Zhiyuan Yu, Qipeng Guo, Xuanjing Huang, Xipeng Qiu

机构 * Fudan University（复旦大学） ； The University of Hong Kong（香港大学） ； Nanjing University（南京大学） ； Shanghai AI Laboratory（上海人工智能实验室） ； Shanghai Innovation Institute（上海创新研究院） 纠错

专题命中 代码评测 ：code generation(abstract)；分类 cs.AI

Comments 19 pages, 7 figures

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once

Xun Deng, Sicheng Zhong, Barış Bayazıt, Andreas Veneris, Fan Long, Xujie Si

专题命中 代码评测 ：code generation(abstract)；分类 cs.SE

Who Do You Think You Are? Creating RSE Personas from GitHub Interactions

Felicity Anderson, Julien Sindt, Neil Chue Hong

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE

Comments 36 pages. Invited extended paper of original poster at deRSE2025. To be published in ECEASST

Text Clustering as Classification with LLMs

Chen Huang, Guoxiu He

机构 * Singapore University of Technology and Design（新加坡科技设计大学） ； East China Normal University（华东师范大学） 纠错

专题命中 仓库级理解 ：repository(abstract)；分类 cs.CL

Comments 11 pages, 3 figures

Do Code Models Suffer from the Dunning-Kruger Effect?

Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani

机构 * Microsoft（微软） 纠错

专题命中 其他AI编程 ：code model(title)；分类 cs.SE、cs.CL、cs.AI