代码大模型 / AI 编程

GLUSE: Enhanced Channel-Wise Adaptive Gated Linear Units SE for Onboard Satellite Earth Observation Image Classification

GLUSE：用于机载卫星地球观测图像分类的增强型通道自适应门控线性单元SE

Thanh-Dung Le, Vu Nguyen Ha, Ti Ti Nguyen, Duc-Dung Tran, Hung Nguyen-Kha, Luis M. Garces-Socarras, Juan Carlos Merlano-Duncan, Symeon Chatzinotas

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

AI总结 研究提出ResNet-GLUSE，通过GLUSE增强的轻量级ResNet变体。在图像分类实验中验证其有效性，相比MobileViT虽准确率略低，但资源消耗大幅减少，还适用于神经形态计算，能平衡高精度与低资源消耗，为实时地球观测任务提供实用方案。

Comments Accepted for Publication in IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2026

PySiPMGUI: A Universal Python-Based Software for Photodetector I-V Quality Assurance: From Underground Dark Matter Searches to Astroparticle Cherenkov Cameras

PySiPMGUI：一种用于光电探测器I-V质量保证的通用Python软件：从地下暗物质搜索到天体粒子切伦科夫相机

Tanay Dey, Suraj Shaw, Ritabrata Banerjee, Pratik Majumdar, Satyaki Bhattacharya

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

AI总结 本文提出PySiPMGUI，一种基于Python的开源软件，用于自动化SiPM特性检测，适用于从暗物质搜索到天体粒子切伦科夫相机的多种应用场景。

TraianProt: a user-friendly R shiny application for wide format proteomics data downstream analysis

TraianProt：用于宽格式蛋白质组学数据下游分析的用户友好型R闪亮应用程序

Samuel de la Camara-Fuentes, Dolores Gutierrez-Blazquez, Maria Luisa Hernaez, Concha Gil

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

AI总结 研究针对蛋白质组学数据下游分析难题，推出TraianProt平台，可分析多种质谱模式数据及多种输出格式，提供全面下游分析模块、统计框架，集成富集分析与网络分析，无需编程即可提取生物学见解，是蛋白质组学综合数据分析工具。

Metadata conflicts and their impact on DataCite metadata completeness in disciplinary research data repositories

提升元数据流——在学科研究数据存储库中同时使用多种元数据模式

Dorothea Strecker

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

AI总结 研究探讨了学科研究数据存储库中同时使用多种元数据模式的挑战，发现优化模式映射可显著改进DataCite元数据记录，但学科影响元数据完整性，需进一步完善。

NEUROSYMLAND: Neuro-Symbolic Landing-Site Assessment for Robust and Edge-Deployable UAV Autonomy

NEUROSYMLAND: 面向鲁棒且可边缘部署的无人机自主着陆的神经符号着陆点评估

Weixian Qian, Tianyi Yang, Sebastian Schroder, Yao Deng, Jiaohong Yao, Xiao Cheng, Richard Han, Xi Zheng

机构 * School of Computing, Macquarie University（麦考瑞大学计算机学院） ； Department of Computer Science, University of California（加州大学计算机科学系） 纠错

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

AI总结 提出NEUROSYMLAND系统，结合轻量感知与符号推理进行着陆点评估，在模拟和硬件在环测试中优于基线方法，实现边缘部署下的鲁棒性与可解释性。

Comments Accepted to the IROS 2026

Journal ref roceedings of the ACM on Software Engineering, Vol. 3, FSE, Article FSE146, July 2026. Article FSE146 (July 2026)

AnyStyle: Single-Pass Multimodal Stylization for 3D Gaussian Splatting

AnyStyle: 单次传递多模态风格化用于3D高斯点云

Joanna Kaleta, Bartosz Świrta, Kacper Kania, Tomasz Trzciński, Przemysław Spurek, Marek Kowalski

机构 * Warsaw University of Technology（华沙技术大学） ； Sano Centre for Computational Medicine（Sano计算医学中心） ； Jagiellonian University（雅盖隆大学） ； Microsoft（微软公司） 纠错

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

AI总结 AnyStyle通过多模态条件化实现姿态无关的零样本风格化，支持文本和视觉输入，提升3D重建的风格可控性。

Euclidean Distance Degrees in Macaulay2

Macaulay2中的欧几里得距离度

William Huang, Jose Israel Rodriguez

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

AI总结 介绍用于计算欧几里得距离度的Macaulay2软件包，它有基于子式和余法丛的符号方法及数值代数几何工具实现的数值方法，通过示例展示了其功能。

Comments to appear in Lecture Notes in Computer Science

Control-Oriented System Identification: Classical, Learning, and Physics-Informed Approaches

面向控制的系统辨识：经典、学习及物理信息方法

S. Sivaranjani, Yuanyuan Shi, Nikolay Atanasov, Thai Duong, Jie Feng, Tim Martin, Yuezhu Xu, Vijay Gupta, Frank Allgöwer

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

AI总结 综述面向控制的系统辨识方法，涵盖经典、机器学习及物理信息方法。通过将系统辨识与控制相关或物理信息特性结合，以优化问题形式强化特性，综述相关方法并给出示例，还指出未来研究挑战方向。

Comments Accepted for publication in the Annual Reviews in Control, 2026

RNA-KG v2.0: An RNA-centered Knowledge Graph with Properties

RNA-KG v2.0：一种以RNA为中心的知识图谱及其特性

Emanuele Cavalleri, Paolo Perlasca, Marco Mesiti

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

AI总结 RNA-KG v2.0通过整合大量手动整理的RNA相互作用和上下文属性，提升RNA研究中的链接预测与上下文感知分析能力。

VAPOLA -- A multi-year, multi-band polarization survey of AGN and Sgr A* at mm wavelengths with ALMA I. Survey Overview and Science-Ready Archival Products

VAPOLA——利用阿塔卡马大型毫米波/亚毫米波阵列（ALMA）对活动星系核（AGN）和人马座A*进行的多年多波段毫米波偏振巡天 I. 巡天概述和科学就绪存档产品

Alejandro Mus, Ciriaco Goddi, Douglas Carlos, Vincenzo Galluzzi, Ezequiel Albentosa-Ruiz, Ivan Martí-Vidal, Hugo Messias, Kazi L. J. Rygl, Geoffrey B. Crew, Lynn D. Matthews, Elisabetta Liuzzo, Nicola Marchili, Raphael P. Rolim, Mariafelicia De Laurentis, Rocco Lico, Cristiano Urban

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

AI总结 介绍VAPOLA，首个关于AGN和Sgr A*的ALMA观测高级数据产品库。基于自动管道处理数据，通过用户友好网站提供即用数据，方便非专家用户分析，推动多领域研究，还提供相关参数和元数据。

Comments Accepted in A&A, 07/06/2026

D-SafeMPC: Diffusion-Driven Safe Model Predictive Control with Discrete-Time Control Barrier Functions

D-SafeMPC：基于离散时间控制障碍函数的扩散驱动安全模型预测控制

Erdi Sayar, Ersin Daş, Joel W. Burdick, Alois Knoll, Erdal Kayacan

机构 * Paderborn University（帕德博恩大学） ； Illinois Institute of Technology（伊利诺伊理工学院） ； California Institute of Technology（加州理工学院） ； Technical University of Munich（慕尼黑工业大学） 纠错

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

AI总结 研究针对扩散模型用于机器人规划时无法保证安全和动态约束的问题，提出D-SafeMPC方法，通过控制障碍函数等引导扩散过程，结合迭代投影方案，经实验验证该方法能提升安全性、任务成功率和规划效率。

Computable Ergodic Optimisation

可计算遍历优化

Léo Gayral, Mathieu Hoyrup

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

AI总结 研究零温度遍历优化中可计算势的最大遍历平均及最大化测度集，在合理假设下证明其为可计算实数与$\Pi_1$可计算紧集，在符号动力学有限型子转移背景下给出有限时间计算两者的显式算法及代码库。

Spectral Gap for the Binary Fixed-Margin Swap Chain

二元固定边缘交换链的谱间隙

Weibo Fu, Qian Qin, Guanyang Wang

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

AI总结 证明了具有指定行和与列和的二元矩阵上的惰性交换链具有逆多项式谱间隙，下界为组合数乘积的倒数，并给出了紧例。

Comments add acorollary and additional references

Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework

基于NP验证器模拟框架的多项式NP完全算法实现

Changryeol Lee

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

AI总结 本文基于改进的NP验证器模拟框架，构建了SAT和子集和问题的确定性图灵机，实现了理论证明与可执行软件之间的桥梁，并展示了多项式时间内的有效执行。

Comments A reference implementation is available at https://github.com/changryeol-hub/poly-np-sim. The verifier Turing machines have been updated to certificate-oblivious Turing machines, following the update to the original framework

STEAM: Stable Self-Training with Elastic Matching and Adaptive Purification

STEAM：基于弹性匹配和自适应净化的稳定自训练

Shaoxiang Wang, Kejia Zhang, Haiwei Pan, Lan Zhang

机构 * heu（哈尔滨工程大学） 纠错

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

AI总结 跨视角地理定位中现有监督和无监督方法有局限，本文提出STEAM框架，通过稳定空间感知模块、弹性匹配和自适应净化进行自训练，在相关基准测试中性能达最优，验证了该框架在无监督跨视角地理定位中的有效性和优越性。

Quality assurance of the Federal Interagency Traumatic Brain Injury Research (FITBIR) database for multi-site MRI analysis

用于多站点MRI分析的联邦跨部门创伤性脑损伤研究（FITBIR）数据库的质量保证

Adam M. Saunders, Michael E. Kim, Gaurav Rudravaram, Elyssa M. McMaster, Chloe Scholten, Sequoia Wade, Marselle Rasdall, Simon Vandekar, Tonia S. Rex, François Rheault, Bennett A. Landman

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

AI总结 针对FITBIR数据库，将其结构和扩散MRI及相关信息整理统一，用UNesT分割分析指标，经质量保证后用GAMLSS建模，发现TBI受试者与对照组相比，15个脑区体积有显著差异。

Comments 8 pages, 5 figures

EVIS: A Physics-Grounded Event Camera Plugin for NVIDIA Isaac Sim

EVIS：用于NVIDIA Isaac Sim的基于物理的事件相机插件

Linli Shi, Ruijun Zhang, Ziyun Wang

机构 * Johns Hopkins University（约翰霍普金斯大学） 纠错

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

AI总结 研究针对事件相机数据收集难题，提出基于物理的EVIS插件用于NVIDIA Isaac Sim，能在模拟器内生成带标签事件流，通过特定模型和可配置设置实现实时单GPU生成，其流可供预训练网络用于下游任务。

Parallel simulation of rarefied gas flows on unstructured meshes using the DIG-augmented DSMC method

使用DIG增强的DSMC方法在非结构化网格上对稀薄气体流动进行并行模拟

Tao Huang, Liyan Luo, Hong Deng, Lei Wu

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

AI总结 研究针对DSMC在近连续介质区域计算成本高的问题，开发并行DIG增强的DSMC求解器用于非结构化网格三维稀薄气体流动模拟，通过构建耦合框架、采用混合架构和负载平衡策略，减少计算资源需求，提供高效数值工具。

Perturbative unitarity for models with singlet and doublet scalars

微扰单位性对于包含单态和双态标量模型的描述

Carolina T. Lopes, André Milagre, João P. Silva

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

AI总结 本文研究了包含额外SU(2)双态、中性单态和电荷单态标量模型的微扰单位性限制，提出了散射矩阵的分类和最小集，并提供了Mathematica实现BounDS进行分析。

Comments 26 pages; v2: added Refs. 23 and 24; v3: added more references

Journal ref International Journal of Modern Physics A (2026) 2650126

Beware of Agentic Botnets: Scalable Untargeted Promptware Attacks via Universal and Transferable Adversarial HalluSquatting

警惕智能体僵尸网络：通过通用且可转移的对抗性幻觉蹲点进行可扩展的无目标提示软件攻击

Aya Spira, Stav Cohen, Elad Feldman, Ron Bitton, Avishai Wool, Ben Nassi

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

AI总结 研究针对实际威胁模型中无直接渠道时攻击者能否利用LLM应用的问题，提出对抗性幻觉蹲点技术，通过识别热门资源计算幻觉分布抢先注册对抗性提示，利用幻觉特性扩大无目标提示软件攻击范围并建立僵尸网络，实验证明该技术可行性及幻觉可转移性。

Comments Website: https://sites.google.com/view/agentic-botnets/home

Beyond Vintage Rotation: Bias-Free Sparse Representation Learning with Oracle Inference

超越传统旋转：基于神谕推理的无偏稀疏表示学习

Chengyu Cui, Yunxiao Chen, Jing Ouyang, Gongjun Xu

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

AI总结 研究低维潜在表示学习中传统旋转方法缺乏有效推理保证的问题，提出基于潜在变量框架的无偏旋转方法，建立神谕推理性质，开发计算框架，为旋转估计量提供严格推理程序，实现有效且可解释的表示学习。

XRFormer: Multiscale Tokenization for XRF Representation Learning

XRFormer：用于X射线荧光光谱表示学习的多尺度令牌化

Sofiane Daimellah, Sylvie Le Hégarat-Mascle, Clotilde Boust

机构 * Centre de Recherche et de Restauration des Musées de France（法国国家博物馆研究与修复中心） 纠错

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

AI总结 研究针对X射线荧光光谱自动学习难的问题，提出XRFormer架构，通过多尺度卷积令牌器定制，结合自监督预训练方法，在颜料识别和分解任务中表现出色，凸显多尺度令牌化在数据有限时对基于变压器的XRF建模的有效性和高效性。

Comments International Conference on Pattern Recognition, 2026

Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean

物理推理公理：在Lean中编码塞伯格 - 维滕解

Michael R. Douglas

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

AI总结 研究利用交互式定理证明器验证物理论证，通过假定物理假设清单，经机器可验证证明得出结果，以Lean 4形式化${N}=2$ $SU(2)$超杨 - 米尔斯的塞伯格 - 维滕解，为验证理论物理中AI生成结果提供合理标准。

Comments 18 pages; companion github repo mrdouglasny/seiberg-witten

Comparing the Performance of Leading VQE Algorithms for Computing Ground-State Energies of Amino Acids

比较用于计算氨基酸基态能量的领先变分量子本征求解器算法的性能

Sanskriti Shindadkar, Clyde Villacrusis, Jasper Andrews, Brandon Yan

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

AI总结 研究通过整合含多种量子计算方法基准的库，应用于模拟氨基酸，从多方面比较不同算法性能，包括噪声抗性、贫瘠高原相关可训练性、自适应与固定量子近似优化对比及精度与表达能力映射。

Comments 15 pages, 17 Figures Code contributions and significant writing and editing contributions by Sanskriti Shindadkar, Clyde Villacrusis, Jasper Andrews Code contributions by Brandon Yan

Video Generation Models as World Models: Efficient Paradigms, Architectures and Algorithms

视频生成模型作为世界模型：高效的范式、架构和算法

Muyang He, Hanzhong Guo, Junxiong Lin, Yizhou Yu

机构 * School of Computing and Data Science, The University of Hong Kong（计算与数据科学学院，香港大学） ； Hong Kong Generative AI Research and Development Center（香港生成式人工智能研究与开发中心） 纠错

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

AI总结 本文系统回顾了考虑效率的世界模拟视频生成框架，提出三维分类方法，展示提升效率对自动驾驶等应用的重要性，并指出高效视频生成向通用世界模拟器演进的关键性。

QR$^2$-code: An open-source program for double resonance Raman spectra

QR$^2$-code：一种用于双共振拉曼光谱的开源程序

Jianqi Huang, Renhui Liu, Ye Zhang, Nguyen Tuan Hung, Huaihong Guo, Riichiro Saito, Teng Yang

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

AI总结 QR$^2$-code基于第一性原理计算双共振拉曼光谱，支持双共振、单共振及缺陷诱导光谱计算，并提供图示教程与与其他程序的对比。

Comments 13 pages, 5 figures, 2 tables

Journal ref Comput. Phys. Commun. 320, 110005-1-12 (2026)

A Distributed Quantum Approximate Optimization Algorithm Simulator for Engineering Design Optimization

面向工程设计优化的分布式量子近似优化算法模拟器

Ali Rajabi, Milad Hasanzadeh, Amin Kargarian

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

AI总结 提出一个兼容Qiskit的分布式量子近似优化算法模拟器，用于解决工程设计中的QUBO问题，支持单QPU和分布式多QPU执行模式，并包含运行时优化和图形界面。

Comments 37 pages, 7 figures, 5 tables

EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research

EconCSLib: 人工智能辅助的经济学与计算研究Lean形式化

Nikhil Garg

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

AI总结 提出EconCSLib，一个基于Lean 4的库和工作流，利用语言模型辅助形式化经济学与计算领域的研究论文，通过人-AI-Lean协作流程实现论文声明到形式化语句的翻译与验证。

Comments Accepted to EC'26 Workshop on AI-Driven Research in EconCS (AI-EconCS '26)

PolyRapid: Automated High-Throughput Screening of Polymers Using a Computational Workflow

PolyRapid：使用计算工作流程进行聚合物的自动化高通量筛选

Lois Smith, Samuel Ericson, Vittoria Fantauzzo, Chin Yong, Paola Carbone, Alessandro Troisi

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

AI总结 提出PolyRapid自动化工作流程，集成自适应退火协议，实现103种均聚物的高通量筛选，95%系统在4个30纳秒退火周期内达到平衡，节省超过2500小时计算时间，并基于模拟数据构建机器学习模型预测聚合物密度和玻璃化转变温度。

Comments 62 pages, 19 figures

Open Science in Astrophysics: Citation Benefits of Open Code, Open Data, and Open Access

天体物理学中的开放科学：开放代码、开放数据和开放获取的引用优势

Parth Joshi, Rupert Croft

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

AI总结 基于5.3万篇论文，通过多元回归分析发现开放数据、开放获取和开放代码分别带来32%、26%和16%的引用优势，且在不同子领域表现各异。