代码大模型 / AI 编程 - arXivDaily 专题

1802.07608 2018-02-22 cs.SE 57%

Learning to Synthesize

Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang

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

1712.07804 2017-12-22 cs.SE 57%

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

Yuan Yuan, Wolfgang Banzhaf

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

Comments 30 pages, 26 figures

1705.04149 2017-05-15 cs.SE 57%

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

Jiajun Jiang, Yingfei Xiong

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

Comments Submitted to Empirical Software Engineering

1601.06466 2016-01-26 cs.SE 57%

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Donghwan Shin, Doo-Hwan Bae

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

Comments To be appear in ICST 2016

1407.3681 2014-07-15 cs.PL cs.LO 57%

Regression-free Synthesis for Concurrency

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

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

Comments for source code see https://github.com/thorstent/ConRepair

Journal ref Computer Aided Verification, Lecture Notes in Computer Science Volume 8559, 2014, pp 568-584

1306.1286 2013-09-17 cs.SE 57%

MintHint: Automated Synthesis of Repair Hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

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

cs/0306083 2009-11-30 cs.SE 57%

The Athena Startup Kit

W. T. L. P. Lavrijsen

专题命中程序修复：repository(abstract)；分类 cs.SE

Comments 5 pages, 1 figure, CHEP 2003, March 2003, La Jolla, California, PSN TUJT002

2608.13610 2026-08-17 eess.IV cs.MM 新提交 50%

LoopVSR: A Loop Engineering Framework for Automated Repair of Visual Speech Recognition Inference Pipelines

LoopVSR：用于自动修复视觉语音识别推理流水线的循环工程框架

Fei Qin, Bowen Zhang, Chao Fan, Pengcheng Luo, Genke Yang

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

AI总结 LoopVSR是一种循环工程框架，可让代码智能体结合端到端执行证据自动修复VSR推理流水线，在CMLR VSR系统上的表现远优于静态防护，可实现100%平均修复率。

2607.28855 2026-08-03 cs.GR cs.CV 新提交 50%

Learning Manifolds in High-D Point Embedding for Anisotropic Surface Approximation from Unstructured Point Clouds

用于非结构化点云各向异性曲面逼近的高维点嵌入学习流形

Hongbo Li, Haikuan Zhu, Xiaohu Guo, Wenping Wang, Jing Hua, Zichun Zhong

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

AI总结该研究提出HD-PEA框架，通过高维点嵌入等技术实现非结构化点云的各向异性曲面逼近，在多数据集上验证了其泛化性与可用性，性能优于现有方法。

2606.09738 2026-06-09 cs.CV 新提交 50%

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

HDSL：一种用于结构化3D室内场景生成和基于LLM智能体局部编辑的层次化领域特定语言

Letian Li, Chao Shen, Shuzhao Xie, Chenghao Gu, ZhengXiao He, Yu Meng, Xin Yang, Wenyuan Jiang, Zhi Wang

机构 * SIGS, Tsinghua University（清华大学深圳国际研究生院）； Nankai University（南开大学）； University of Arizona（亚利桑那大学）； Zhejiang University（浙江大学）； ETH Zurich（苏黎世联邦理工学院）

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

AI总结提出HDSL语言，以树结构表示室内场景，结合LLM智能体生成、多模态检索和力导向布局优化，实现结构化场景生成与局部编辑，显著提升对象覆盖率和编辑效率。

2606.08760 2026-06-09 quant-ph physics.comp-ph 新提交 50%

Visual-to-Code Authoring, Tensor-Network Debugging, and Quantum-Circuit Inspection Tools in Python

Python中的可视化到代码创作、张量网络调试和量子电路检查工具

Alejandro Mata Ali

专题命中程序修复：code generation(abstract)

AI总结提出三个互补包：张量网络可视化、张量网络编辑器和量子电路绘制器，分别用于视觉调试、可视化到代码创作和电路检查，以增强张量网络和量子电路的结构可见性和可编辑性。

Comments 15 pages, 6 figures, 6 tables

2605.18156 2026-05-19 cs.CV 50%

Semi-LAR: Semi-supervised Contrastive Learning with Linear Attention for Removal of Nighttime Flares

Semi-LAR: 基于线性注意力的半监督对比学习用于夜间光斑去除

Xiyu Zhu, Wei Wang, Kui Jiang, Zhengguo Li

机构 * School of Computer Science and Technology, Wuhan University of Science and Technology, Wuhan, China（武汉科技大学计算机科学与技术学院）； Faculty of Computing, Harbin Institute of Technology, Harbin 150001, China（哈尔滨工业大学计算机学院）； SRO department, Institute for Infocomm Research, A*STAR, Singapore（新加坡资讯通信研究院SRO部门）

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

AI总结本文提出了一种半监督对比学习框架，通过联合处理伪标签可靠性与表征歧视性，有效缓解了夜间光斑去除中的误差累积问题，并通过实验验证了该框架的模型无关性和性能提升。

2603.25969 2026-04-14 cs.AR 50%

FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators

FireBridge：面向现代加速器的周期精确硬件+固件联合验证

G Abarajithan, Zhenghua Ma, Francesco Restuccia, Ryan Kastner

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

AI总结本文提出FireBridge框架，通过将固件与RTL/HLS硬件联合验证，实现加速器系统集成的高效调试，提升调试迭代速度达50倍。

2511.10286 2025-11-14 q-bio.TO 50%

Diversity Over Scale: Whole-Slide Image Variety Enables H&E Foundation Model Training with Fewer Patches

Christoph Bosch, John K. L. Wong, Martin Paulikat, Myroslav Zapukhlyak, Bharti Arora, Manasi Aichmüller-Ratnaparkhe, Jens Baumann, Shivani Karn, Rutuja Kamble, Swapnil Karnik, Bhushan Khedkar, Serey Vathana Chhut, Witali Aswolinskiy, Christian Aichmüller

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

2505.22304 2025-10-08 cs.CV 50%

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

2508.07483 2025-08-12 cs.CV eess.IV 50%

Novel View Synthesis with Gaussian Splatting: Impact on Photogrammetry Model Accuracy and Resolution

Pranav Chougule

机构 * MS in Robotics \& Autonomous Systems School for Engineering of Matter, Transport \& Energy Arizona State University Tempe, USA

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

2507.07972 2025-07-11 cs.CR 50%

EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors

Karthik Garimella, Austin Ebel, Brandon Reagen

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

Comments 11 pages, 7 figures, 1 table

2506.08694 2025-07-11 cs.CV 50%

MoSiC: Optimal-Transport Motion Trajectory for Dense Self-Supervised Learning

Mohammadreza Salehi, Shashanka Venkataramanan, Ioana Simion, Efstratios Gavves, Cees G. M. Snoek, Yuki M Asano

机构 * VIS Lab, UvA（乌得勒支大学视觉实验室）； Fundamental AI Lab, UTN（UTN基础人工智能实验室）

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

Comments Accepted to ICCV2025

2507.07144 2025-07-11 cs.DC 50%

M$^2$-MFP: A Multi-Scale and Multi-Level Memory Failure Prediction Framework for Reliable Cloud Infrastructure

Hongyi Xie, Min Zhou, Qiao Yu, Jialiang Yu, Zhenli Sheng, Hong Xie, Defu Lian

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

2503.02876 2025-04-08 eess.IV cs.CV 50%

SPIDER: A Comprehensive Multi-Organ Supervised Pathology Dataset and Baseline Models

Dmitry Nechaev, Alexey Pchelnikov, Ekaterina Ivanova

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

2008.02501 2024-10-30 eess.IV 50%

Subjective Quality Database and Objective Study of Compressed Point Clouds With 6DoF Head-Mounted Display

Xinju Wu, Yun Zhang, Chunling Fan, Junhui Hou, Sam Kwong

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

Comments This work has been submitted to the IEEE for possible publication

2409.06213 2024-09-11 cs.CR 50%

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World

Chaofan Shou, Yuanyu Ke, Yupeng Yang, Qi Su, Or Dadosh, Assaf Eli, David Benchimol, Doudou Lu, Daniel Tong, Dex Chen, Zoey Tan, Jacob Chia, Koushik Sen, Wenke Lee

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

2408.01654 2024-08-06 cs.CV 50%

Deep Patch Visual SLAM

Lahav Lipson, Zachary Teed, Jia Deng

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

2306.02427 2023-08-22 cs.LO cs.FL cs.SC cs.SY eess.SY 50%

Towards Efficient Controller Synthesis Techniques for Logical LTL Games

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

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

2305.00696 2023-05-02 cs.CV 50%

TPMIL: Trainable Prototype Enhanced Multiple Instance Learning for Whole Slide Image Classification

Litao Yang, Deval Mehta, Sidong Liu, Dwarikanath Mahapatra, Antonio Di Ieva, Zongyuan Ge

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

Comments Accepted for MIDL 2023

2304.02510 2023-04-06 cs.CR 50%

FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation

Mahya Morid Ahmadi, Lilas Alrahis, Ozgur Sinanoglu, Muhammad Shafique

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

Comments 6 pages

2303.03373 2023-04-05 cs.CV 50%

Detecting Human-Object Contact in Images

Yixin Chen, Sai Kumar Dwivedi, Michael J. Black, Dimitrios Tzionas

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

Comments Accepted at CVPR 2023

2204.11376 2022-04-26 cs.LO 50%

Model Repair via Symmetry

Paul Attie, William Cocke

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

Comments Full version including proofs

1907.11953 2019-07-30 eess.IV 50%

Automated Mammogram Analysis with a Deep Learning Pipeline

Azam Hamidinekoo, Erika Denton, Reyer Zwiggelaar

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

Comments MIDL 2019 [arXiv:1907.08612]

1905.09352 2019-05-24 cs.CR 50%

Hey Google, What Exactly Do Your Security Patches Tell Us? A Large-Scale Empirical Study on Android Patched Vulnerabilities

Sadegh Farhang, Mehmet Bahadir Kirdan, Aron Laszka, Jens Grossklags

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

Comments The 2019 Workshop on the Economics of Information Security (WEIS 2019)

1. 程序修复 542 篇

Learning to Synthesize

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Regression-free Synthesis for Concurrency

MintHint: Automated Synthesis of Repair Hints

The Athena Startup Kit

LoopVSR: A Loop Engineering Framework for Automated Repair of Visual Speech Recognition Inference Pipelines

Learning Manifolds in High-D Point Embedding for Anisotropic Surface Approximation from Unstructured Point Clouds

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

Visual-to-Code Authoring, Tensor-Network Debugging, and Quantum-Circuit Inspection Tools in Python

Semi-LAR: Semi-supervised Contrastive Learning with Linear Attention for Removal of Nighttime Flares

FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators

Diversity Over Scale: Whole-Slide Image Variety Enables H&E Foundation Model Training with Fewer Patches

CADReview: Automatically Reviewing CAD Programs with Error Detection and Correction

Novel View Synthesis with Gaussian Splatting: Impact on Photogrammetry Model Accuracy and Resolution

EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors

MoSiC: Optimal-Transport Motion Trajectory for Dense Self-Supervised Learning

M$^2$-MFP: A Multi-Scale and Multi-Level Memory Failure Prediction Framework for Reliable Cloud Infrastructure

SPIDER: A Comprehensive Multi-Organ Supervised Pathology Dataset and Baseline Models

Subjective Quality Database and Objective Study of Compressed Point Clouds With 6DoF Head-Mounted Display

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World

Deep Patch Visual SLAM

Towards Efficient Controller Synthesis Techniques for Logical LTL Games

TPMIL: Trainable Prototype Enhanced Multiple Instance Learning for Whole Slide Image Classification

FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation

Detecting Human-Object Contact in Images

Model Repair via Symmetry

Automated Mammogram Analysis with a Deep Learning Pipeline

Hey Google, What Exactly Do Your Security Patches Tell Us? A Large-Scale Empirical Study on Android Patched Vulnerabilities