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

2009.08712 2020-09-21 cs.CL 57%

The birth of Romanian BERT

Stefan Daniel Dumitrescu, Andrei-Marius Avram, Sampo Pyysalo

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

Comments 5 pages (4 + reference page), accepted in Findings of EMNLP 2020

2004.05934 2020-04-14 cs.SE 57%

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

专题命中测试生成：program synthesis(abstract)；分类 cs.SE

1802.03921 2018-02-13 cs.SE 57%

Test Agents: Adaptive, Autonomous and Intelligent Test Cases

Eduard Enoiu, Mirgita Frasheri

专题命中测试生成：software agent(abstract)；分类 cs.SE

1705.09042 2017-05-26 cs.PL 57%

Data-Driven Program Completion

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

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

1701.08485 2017-01-31 cs.SE 57%

Auto-Documenation for Software Development

Thomas Zheng, Jeff Shaw, Sergey Kozlov

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

1610.02055 2016-10-10 cs.CV cs.AI 57%

Places: An Image Database for Deep Scene Understanding

Bolei Zhou, Aditya Khosla, Agata Lapedriza, Antonio Torralba, Aude Oliva

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

2608.12583 2026-08-14 q-fin.CP 新提交 50%

Diffusion Models in Finance: A Survey

金融中的扩散模型：一项综述

Zhuohan Wang, Carmine Ventre

专题命中测试生成：repository(abstract)

AI总结该综述聚焦金融领域的扩散族生成模型，按金融数据类型分类梳理相关研究，是首个针对金融数据扩散族模型的专门综述，还开源了相关代码仓库。

2605.25339 2026-08-14 astro-ph.GA 版本更新 50%

A Unified [CII] Morpho-Kinematic Corpus for 31 Star-Forming Galaxies at z = 4.26-5.68: The High-z Kinematic Corpus Z1

统一 [CII] 运动学形态数据集：31 个 z=4.26-5.68 恒星形成星系的高红移运动学语料库 Z1

David C. Flynn

专题命中测试生成：repository(abstract)

AI总结基于 ALPINE 巡天数据，构建了 31 个高红移恒星形成星系的 [CII] 形态运动学结构化数据集，包含旋转曲线、动力学质量及分类信息，并公开了多格式数据与示例分析。

Comments 8 pages, 4 tables, 3 figures. Data descriptor for the High-z Kinematic Corpus Z1, the fourth corpus in the EPS Research RAG Astrophysics Corpus Series. Corpus deposited at Zenodo DOI: 10.5281/zenodo.20369285. Jupyter notebooks and figures included as ancillary files

2608.11436 2026-08-13 cs.CR 新提交 50%

When Agents Talk: Honeytokens under Shared Memory

当智能体对话时：共享内存下的蜜罐

Joshua S. Gans

专题命中测试生成：repository(abstract)

AI总结该研究通过2026年网络能力评估案例，分析共享内存下蜜罐的安全缺陷，提出将令牌身份存于私有引用监视器等架构应对方案，指出蜜罐仍需单独安全边界。

Comments artificial intelligence, cybersecurity, honeytokens, defensive deception, shared memory, intrusion detection

2604.15657 2026-07-07 cs.AR 50%

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification

理解代理硬件验证中推理时间标记分配与覆盖限制

Vihaan Patel, Vidya Chhabria, Aman Arora

专题命中测试生成：coding agent(abstract)

AI总结本文研究了代理硬件验证中推理时间标记分配与覆盖限制，通过两个层级的代理框架，分析覆盖孔径并改进效率，展示领域专业化如何提升覆盖效率。

2511.15620 2026-07-07 cs.CY 版本更新 50%

Lost in Vagueness: Towards Context-Sensitive Standards for Robustness Assessment under the EU AI Act

迷失在模糊性中：迈向欧盟人工智能法案下稳健性评估的上下文敏感标准

Roberta Tamponi, Carina Prunkl, Thomas Bäck, Anna V. Kononova

专题命中测试生成：repository(abstract)

AI总结研究欧盟人工智能法案下稳健性定义及评估方法不明问题，指出其依赖于多种因素，提出上下文敏感的多层标准化框架，减少解释负担等。

2605.27538 2026-05-28 astro-ph.IM astro-ph.CO astro-ph.GA 50%

VROOM-SBI: A Fast Simulation-Based Bayesian Inference Methodology for QU-Fitting

VROOM-SBI: 一种用于QU拟合的快速基于模拟的贝叶斯推断方法

Arpan Pal, Preshanth Jagannathan

专题命中测试生成：repository(abstract)

AI总结提出VROOM-SBI方法，利用基于模拟的推断（特别是神经后验估计）加速QU拟合，实现与经典方法相当的精度，速度提升约500倍。

Comments Submitted in AJ; Comments are welcome. 10 figures, 2 tables

2605.26651 2026-05-27 cs.CR 50%

Batch Me If You Can: Coverage-guided RPKI Fuzzing at Scale

Batch Me If You Can: 大规模覆盖引导的RPKI模糊测试

Haya Schulmann, Niklas Vogel

专题命中测试生成：repository(abstract)

AI总结针对RPKI软件现有模糊测试无法处理多对象加密仓库的局限性，提出基于连续采样和函数侧信道的覆盖归因技术，结合非顺序模糊测试与ASN.1变异引擎，实现66倍吞吐量提升并发现21个新漏洞。

Comments Published at IEEE S&P 2026

2604.15606 2026-05-22 cs.AR 50%

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs

Spec2Cov: 一种用于数字硬件设计代码覆盖率闭合的代理框架

Sean Lowe, Elias Hilaneh, Alma Babbit, Nakul Gopalan, Vidya Chhabria, Aman Arora

专题命中测试生成：code generation(abstract)

AI总结本文提出了一种基于代理框架的代码覆盖率闭合方法，利用大型语言模型和硬件仿真器的协同工作，自动迭代生成测试刺激以加速覆盖率闭合，并在不同复杂度的设计上实现了高达49%的覆盖率。

2605.14207 2026-05-15 cs.HC 50%

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations

解释应包含什么？一种以人类为中心的解释内容模型用于局部、事后解释

Helmut Degen

专题命中测试生成：code model(abstract)

AI总结本文通过混合归纳-演绎定性内容分析，提出了一种包含14个代码的解释内容模型，用于工业AI系统的局部事后解释，通过专家审查和编码复现性验证其有效性。

Comments paper has 36 pages (without references), 2 figures, and 2 tables; appendix has 165 pages; submitted to International Journal of Human-Computer Studies

2604.03372 2026-04-07 astro-ph.IM astro-ph.HE 50%

GOPREAUX I: Open-source Code and Data to Model Multi-wavelength Emission of Extragalactic Transients using Gaussian Processes

GOPREAUX I: 开源代码和数据用于通过高斯过程建模 extragalactic 异常的多波段发射

C. Pellegrino, T. A. Pritchard, M. Modjaz, A. Crawford, S. Khakpash, F. Bianco

专题命中测试生成：repository(abstract)

AI总结本文介绍 GOPREAUX，一个用于多波段暂现体光度学回归的 Python 包，通过非参数方法建模不同暂现体类别的光度行为，提供多波段光度曲线和光谱模板，并开放源代码和数据供研究使用。

Comments 35 pages, 21 figures, to be submitted to ApJ

2512.20839 2025-12-25 cs.CV 50%

Input-Adaptive Visual Preprocessing for Efficient Fast Vision-Language Model Inference

面向高效视觉语言模型推理的输入自适应视觉预处理

Putu Indah Githa Cahyani, Komang David Dananjaya Suartana, Novanto Yudistira

机构 * Faculty of Computer Science, University of Brawijaya（计算机科学学院，布拉维亚大学）

专题命中测试生成：repository(abstract)

AI总结本研究提出一种自适应视觉预处理方法，通过动态调整输入分辨率和空间覆盖，显著提升视觉语言模型的推理效率。

2511.22957 2025-12-01 eess.SY cs.SY 50%

Open-source implementation of distribution network reconfiguration methods: Analysis and comparison

开源实现配电网重构方法：分析与比较

Ferran Bohigas-Daranas, Oriol Gomis-Bellmunt, Eduardo Prieto-Araujo

专题命中测试生成：repository(abstract)

AI总结本文通过开源实现，分析并比较了配电网重构方法的多种算法，包括启发式、元启发式和数学方法，为研究者提供可复现的资源和优化解决方案。

2511.11659 2025-11-27 cs.CV 50%

DWFF-Net : A Multi-Scale Farmland System Habitat Identification Method with Adaptive Dynamic Weight

DWFF-Net：一种多尺度农田系统栖息地识别方法，具有自适应动态权重

Kesong Zheng, Zhi Song, Peizhou Li, Shuyi Yao, Zhenxing Bian

专题命中测试生成：repository(abstract)

AI总结 DWFF-Net通过自适应动态权重融合多尺度特征，提升农田栖息地识别精度与细粒度监测能力

Comments 30 pages,13 figures

2508.16584 2025-08-26 cs.AR 50%

TMA-Adaptive FP8 Grouped GEMM: Eliminating Padding Requirements in Low-Precision Training and Inference on Hopper

Zhongling Su, Rong Fu, Weihan Cao, Jianfei Gao, Minxi Jin, Zhilin Pei, Hui Wang

专题命中测试生成：repository(abstract)

2507.04991 2025-07-09 math.NA cs.NA math-ph math.MP 50%

Paired Explicit Relaxation Runge-Kutta Methods: Entropy-Conservative and Entropy-Stable High-Order Optimized Multirate Time Integration

Daniel Doehring, Hendrik Ranocha, Manuel Torrilhon

专题命中测试生成：repository(abstract)

2412.10444 2025-07-08 cs.CV cs.RO 50%

Boundary Exploration of Next Best View Policy in 3D Robotic Scanning

Leihui Li, Lixuepiao Wan, Xuping Zhang

机构 * Department of Mechanical and Production Engineering, Aarhus University（机械与生产工程系，阿arhus大学）

专题命中测试生成：repository(abstract)

2505.03425 2025-05-07 cs.CR 50%

Directed Greybox Fuzzing via Large Language Model

Hanxiang Xu, Yanjie Zhao, Haoyu Wang

专题命中测试生成：code generation(abstract)

Comments 14 pages

2411.01411 2025-04-30 cs.CV 50%

Mapping Global Floods with 10 Years of Satellite Radar Data

Amit Misra, Kevin White, Simone Fobi Nsutezo, William Straka, Juan Lavista

专题命中测试生成：repository(abstract)

Comments 20 pages, 8 figures, Accepted

2411.01038 2024-11-05 cs.RO cs.CE 50%

AGISim, An Open Source Airborne Gimbal Mounted IMU Signal Simulator Considering Flight Dynamics Model

Alireza Kazemi, Reza Rohani Sarvestani

专题命中测试生成：repository(abstract)

Comments 10 pages, 8 figures, 4 tables, Submitted to Journal of Aerospace Science and Technology (JAST)

2407.14218 2024-07-22 cs.MA 50%

Multi-robot maze exploration using an efficient cost-utility method

Manousos Linardakis, Iraklis Varlamis, Georgios Th. Papadopoulos

专题命中测试生成：repository(abstract)

Comments 12 pages, 15 figures, Conference on Artificial Intelligence SETN 2024. arXiv admin note: text overlap with arXiv:2405.20232

2405.02263 2024-06-05 astro-ph.HE astro-ph.CO 50%

An Optical Gamma-Ray Burst Catalogue with Measured Redshift PART I: Data Release of 535 Gamma-Ray Bursts and Colour Evolution

M. G. Dainotti, B. De Simone, R. F. Mohideen Malik, V. Pasumarti, D. Levine, N. Saha, B. Gendre, D. Kido, A. M. Watson, R. L. Becerra, S. Belkin, S. Desai, A. C. C. do E. S. Pedreira, U. Das, L. Li, S. R. Oates, S. B. Cenko, A. Pozanenko, A. Volnova, Y. -D. Hu, A. J. Castro-Tirado, N. B. Orange, T. J. Moriya, N. Fraija, Y. Niino, E. Rinaldi, N. R. Butler, J. d. J. G. Gonzalez, A. S. Kutyrev, W. H. Lee, X. Prochaska, E. Ramirez-Ruiz, M. Richer, M. H. Siegel, K. Misra, A. Rossi, C. Lopresti, U. Quadri, L. Strabla, N. Ruocco, S. Leonini, M. Conti, P. Rosi, L. M. T. Ramirez, S. Zola, I. Jindal, R. Kumar, L. Chan, M. Fuentes, G. Lambiase, K. K. Kalinowski, W. Jamal

专题命中测试生成：repository(abstract)

Comments 20 pages, 16 figures, 2 tables. Submitted to MNRAS, this version matches the third revision. The Online Materials and data will be available after the publication

2405.20232 2024-05-31 cs.MA 50%

Distributed maze exploration using multiple agents and optimal goal assignment

Manousos Linardakis, Iraklis Varlamis, Georgios Th. Papadopoulos

专题命中测试生成：repository(abstract)

Comments 11 pages, 9 figures

2305.04550 2023-12-20 cs.NI 50%

Reducing Reconfiguration Time in Hybrid Optical-Electrical Datacenter Networks (Extended Abstract)

Shuyuan Zhang, Shu Shan, Shizhen Zhao

专题命中测试生成：repository(abstract)

2311.18165 2023-12-01 cs.DL 50%

Variations in Web of Science and Scopus Journal Coverage, Visibility and Prestige between 2001 and 2020

Toluwase Victor Asubiaro

专题命中测试生成：repository(abstract)

1. 测试生成 291 篇

The birth of Romanian BERT

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Test Agents: Adaptive, Autonomous and Intelligent Test Cases

Data-Driven Program Completion

Auto-Documenation for Software Development

Places: An Image Database for Deep Scene Understanding

Diffusion Models in Finance: A Survey

A Unified [CII] Morpho-Kinematic Corpus for 31 Star-Forming Galaxies at z = 4.26-5.68: The High-z Kinematic Corpus Z1

When Agents Talk: Honeytokens under Shared Memory

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification

Lost in Vagueness: Towards Context-Sensitive Standards for Robustness Assessment under the EU AI Act

VROOM-SBI: A Fast Simulation-Based Bayesian Inference Methodology for QU-Fitting

Batch Me If You Can: Coverage-guided RPKI Fuzzing at Scale

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations

GOPREAUX I: Open-source Code and Data to Model Multi-wavelength Emission of Extragalactic Transients using Gaussian Processes

Input-Adaptive Visual Preprocessing for Efficient Fast Vision-Language Model Inference

Open-source implementation of distribution network reconfiguration methods: Analysis and comparison

DWFF-Net : A Multi-Scale Farmland System Habitat Identification Method with Adaptive Dynamic Weight

TMA-Adaptive FP8 Grouped GEMM: Eliminating Padding Requirements in Low-Precision Training and Inference on Hopper

Paired Explicit Relaxation Runge-Kutta Methods: Entropy-Conservative and Entropy-Stable High-Order Optimized Multirate Time Integration

Boundary Exploration of Next Best View Policy in 3D Robotic Scanning

Directed Greybox Fuzzing via Large Language Model

Mapping Global Floods with 10 Years of Satellite Radar Data

AGISim, An Open Source Airborne Gimbal Mounted IMU Signal Simulator Considering Flight Dynamics Model

Multi-robot maze exploration using an efficient cost-utility method

An Optical Gamma-Ray Burst Catalogue with Measured Redshift PART I: Data Release of 535 Gamma-Ray Bursts and Colour Evolution

Distributed maze exploration using multiple agents and optimal goal assignment

Reducing Reconfiguration Time in Hybrid Optical-Electrical Datacenter Networks (Extended Abstract)

Variations in Web of Science and Scopus Journal Coverage, Visibility and Prestige between 2001 and 2020