代码大模型 / AI 编程

Tutorials on Testing Neural Networks

Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang

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

What makes a good Node.js package? Investigating Users, Contributors, and Runnability

Bodin Chinthanet, Brittany Reid, Christoph Treude, Markus Wagner, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto

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

Comments Submitted to ACM Transactions on Software Engineering and Methodology (TOSEM)

Automatically Assessing and Extending Code Coverage for NPM Packages

Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder

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

Measuring Economic Policy Uncertainty Using an Unsupervised Word Embedding-based Method

Fatemeh Kaveh-Yazdy, Sajjad Zarifzadeh

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

Comments 21 Pages, 8 Figures, 2 Tables, This article aimed at computing economic policy uncertainty of Iran for the first time using text mining techniques

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

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

Test Agents: Adaptive, Autonomous and Intelligent Test Cases

Eduard Enoiu, Mirgita Frasheri

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

Data-Driven Program Completion

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

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

Auto-Documenation for Software Development

Thomas Zheng, Jeff Shaw, Sergey Kozlov

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

Places: An Image Database for Deep Scene Understanding

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

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

Diffusion Models in Finance: A Survey

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

Zhuohan Wang, Carmine Ventre

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

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

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

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

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

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

Vihaan Patel, Vidya Chhabria, Aman Arora

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

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

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

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

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

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%的覆盖率。

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

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

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

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

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

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

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

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

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

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)

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)

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)

Directed Greybox Fuzzing via Large Language Model

Hanxiang Xu, Yanjie Zhao, Haoyu Wang

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

Comments 14 pages

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

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)

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