代码大模型 / AI 编程

SolEval: Benchmarking Large Language Models for Repository-level Solidity Code Generation

Zhiyuan Peng, Xin Yin, Rui Qian, Peiqin Lin, Yongkang Liu, Hao Zhang, Chenhao Ying, Yuan Luo

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

Comments Accepted By EMNLP'25-Main

VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning

Fu Teng, Miao Pan, Xuhong Zhang, Zhezhi He, Yiyao Yang, Xinyi Chai, Mengnan Qi, Liqiang Lu, Jianwei Yin

机构 * Zhejiang University（浙江大学） ； Shanghai Jiao Tong University（上海交通大学） 纠错

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

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu

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

Structured Agentic Workflows for Financial Time-Series Modeling with LLMs and Reflective Feedback

Yihao Ang, Yifan Bao, Lei Jiang, Jiajie Tao, Anthony K. H. Tung, Lukasz Szpruch, Hao Ni

机构 * National University of Singapore（新加坡国立大学） ； University College London（伦敦大学学院） ； University of Edinburgh（爱丁堡大学） 纠错

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

Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining

Jiajun Jiang, Fengjie Li, Zijie Zhao, Zhirui Ye, Mengjiao Liu, Bo Wang, Hongyu Zhang, Junjie Chen

专题命中 程序修复 ：program repair(title,abstract)；分类 cs.SE

Comments This paper has been accepted by ICSME 2025

Controllable Conversational Theme Detection Track at DSTC 12

Igor Shalyminov, Hang Su, Jake Vincent, Siffi Singh, Jason Cai, James Gung, Raphael Shu, Saab Mansour

机构 * Amazon（亚马逊） 纠错

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

Comments DSTC12@SigDial2025; data and code available at https://github.com/amazon-science/dstc12-controllable-conversational-theme-detection

HonestCyberEval: An AI Cyber Risk Benchmark for Automated Software Exploitation

Dan Ristea, Vasilios Mavroudis

机构 * Alan Turing Institute（艾伦·图灵研究所） 纠错

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

CASP: An evaluation dataset for formal verification of C code

Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kåreborn, Anna Lokrantz

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

DriveIndia: An Object Detection Dataset for Diverse Indian Traffic Scenes

Rishav Kumar, D. Santhosh Reddy, P. Rajalakshmi

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

Comments Accepted at ITSC 2025 Conference. Updated the Table 2 of Benchmark Results

Dealing with SonarQube Cloud: Initial Results from a Mining Software Repository Study

Sabato Nocera, Davide Fucci, Giuseppe Scanniello

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

Comments Accepted for ESEM25 NIER track

AI Models Exceed Individual Human Accuracy in Predicting Everyday Social Norms

Pontus Strimling, Simon Karlsson, Irina Vartanova, Kimmo Eriksson

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

Comments 18 pages + supplementy materials

M$^2$IV: Towards Efficient and Fine-grained Multimodal In-Context Learning via Representation Engineering

Yanshu Li, Yi Cao, Hongyang He, Qisen Cheng, Xiang Fu, Xi Xiao, Tianyang Wang, Ruixiang Tang

机构 * Brown University（布朗大学） ； University of Warwick（沃里克大学） ； Samsung US（三星美国分公司） ； Boston University（波士顿大学） ； University of Alabama at Birmingham（阿拉巴马大学伯明翰分校） ； Rutgers University（罗格斯大学） 纠错

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

Comments COLM 2025, 30 pages, 10 figures, 16 tables

adder-viz: Real-Time Visualization Software for Transcoding Event Video

Andrew C. Freeman, Luke Reinkensmeyer

机构 * Baylor University（贝勒大学） 纠错

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

Comments Accepted to the Open-Source Track at ACM Multimedia 2025

Structured methods for parameter inference and uncertainty quantification for mechanistic models in the life sciences

Michael J. Plank, Matthew J. Simpson

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

Journal ref R. Soc. Open Sci. (2024) 11: 240733