代码大模型 / AI 编程

ArtifactsBench: Bridging the Visual-Interactive Gap in LLM Code Generation Evaluation

Chenchen Zhang, Yuhang Li, Can Xu, Jiaheng Liu, Ao Liu, Changzhi Zhou, Ken Deng, Dengpeng Wu, Guanhua Huang, Kejiao Li, Qi Yi, Ruibin Xiong, Shihui Hu, Yue Zhang, Yuhao Jiang, Zenan Xu, Yuanxing Zhang, Wiggin Zhou, Chayse Zhou, Fengzong Lian

机构 * Tencent Hunyuan Team（腾讯文脉团队） 纠错

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

A benchmark for vericoding: formally verified program synthesis

Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark

专题命中 代码评测 ：program synthesis(title)；分类 cs.SE、cs.LG、cs.PL

Comments 25 pages, 1 figure; data available at https://github.com/Beneficial-AI-Foundation/vericoding-benchmark

PARROT: A Benchmark for Evaluating LLMs in Cross-System SQL Translation

Wei Zhou, Guoliang Li, Haoyu Wang, Yuxing Han, Xufei Wu, Fan Wu, Xuanhe Zhou

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

Comments To appear in NeurIPS 2025. Welcome your submission to challenge our leaderboard at: https://code4db.github.io/parrot-bench/. Also visit our code repository at: https://github.com/weAIDB/PARROT

A Near-Real-Time Reduction-Based Algorithm for Coloring Massive Graphs

Chenghao Zhu, Yi Zhou

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

Deep Learning Empowered Super-Resolution: A Comprehensive Survey and Future Prospects

Le Zhang, Ao Li, Qibin Hou, Ce Zhu, Yonina C. Eldar

机构 * School of Information and Communication Engineering, University of Electronic Science and Technology of China（信息与通信工程学院，电子科学与技术大学） ； Tianjin Key Laboratory of Visual Computing and Intelligent Perception, School of Computer Science, Nankai University（视觉计算与智能感知天津重点实验室，计算机科学学院，南开大学） ； Faculty of Mathematics and Computer Science, Weizmann Institute of Science（数学与计算机科学学院，魏兹曼科学研究所） 纠错

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

Comments Accepted by Proceedings of the IEEE