代码大模型 / AI 编程

Identifying vulnerable nodes and detecting malicious entanglement patterns to handle st-connectivity attacks in quantum networks

识别脆弱节点并检测恶意纠缠模式以应对量子网络中的st连通性攻击

Iain Burge, Michel Barbeau, Joaquin Garcia-Alfaro

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

AI总结 本文提出量子方法用于识别量子网络中维持目标连接的重要节点，并利用量子支持向量机检测恶意纠缠攻击，提升量子网络安全性。

Comments 13 pages, 6 figures, 8 sections, 50 references. Revised and extended version of a paper that appeared in the proceedings of the 40th IFIP International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2025), Maribor, Slovenia, May 21-23, 2025

Symbolic operator growth and recursion method for spin-S Ising and q-states Potts models

自旋-S伊辛模型与q态波茨模型的符号算子增长与递归方法

Igor Ermakov

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

AI总结 该研究通过符号算子增长与递归方法，精确计算了不同维度自旋-$S$伊辛模型和$q$态波茨模型的自关联函数矩，验证了通用算子增长假说，为无限温度自旋动力学的准经典方法提供了依据。

Comments 24 pages, 4 figures

Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems

Hamid Rahkooy, Thomas Sturm

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

Journal ref Proc. CASC 2021, LNCS 12865, pp.334-352, August 2021

An Empirical Study of Output-to-Input Loops for Black-Box Backdoor Detection in Fine-Tuned Open-Weight LLMs

针对微调开源权重大语言模型的黑盒后门检测的输出-输入循环的实证研究

Md. Nahid Hasan, Mohammad Arif Hossain

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

AI总结 本研究提出self-feeding黑盒测试方法，通过将LLM自身输出反馈为输入检测后门，在6个开源权重LLM上实现高模型级检测精度，仅需文本级查询访问即可作为模型安全的低成本初查手段。

Analytically Consistent Reconstruction of Finite Data Using Padé Sequences

利用帕德序列对有限数据进行解析一致的重构

Emerson Díaz, Balma Duch, Pere Masjuan

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

AI总结 该研究提出一种基于帕德序列的算法，将弗罗萨尔特双极点作为诊断对象，可从含不确定性的有限数据中重构解析结构，区分真实特征与虚假结构，已通过多种函数和数据集验证，代码存于GitLab。

Comments 25 pages, 7 figures

A Quantum Dynamics Tutorial: Visualising Dynamical Decoupling Sequences on the Bloch Sphere

量子动力学教程：在布洛赫球上可视化动力学去耦序列

Charlie J. Patrickson, Isaac Bailey, Antonio Orazzo, Luca Dellantonio, Isaac J. Luxmoore

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

AI总结 本教程从实验视角出发，借助布洛赫球可视化动力学去耦序列的量子动力学，阐明相干时间定义，提供开放脚本以助力新研究者掌握该量子控制工具。

Squarefree numbers in short intervals: explicit and formalized

短区间中的无平方因子数：显式结果与形式化

Mayank Pandey

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

AI总结 作者将短区间无平方因子数的相关结果显式化并在Lean 4中形式化，给出了特定参数下的误差界，阐述了指数显式化及形式化的相关工作。

Comments 4 pages

Search for neutrino emission from blazar $γ$-ray flares accounting for possible neutrino time delays

搜寻与blazar γ射线暴相关的高能中微子辐射，考虑中微子可能的时间延迟

Egor Podlesnyi, Foteini Oikonomou

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

AI总结 该研究通过分析中微子与γ射线暴的时间延迟，探索blazar高能中微子辐射的可能性。

Comments 16 pages (11+5), 12 figures (9+3), 7 tables (2+5); published in the Open Journal of Astrophysics

Journal ref OJA, 9, 10.33232/001c.166774 (2026)

The Trust-Free Aggregation Layer of the Unicity Infrastructure

Unicity基础设施的无信任聚合层

Risto Laanoja, Mike Gault, Dirk Draheim, Ahto Buldas

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

AI总结 该研究提出Unicity区块链基础设施的无信任聚合层，采用RSMT、Plonky3 STARK工具包等技术，实现无可信设置，达每秒万次插入及毫秒级验证的双重支付防护方案。

Comments 42 pages, 7 figures, 4 tables

Invisible Ink Threats: Adversarial Goals Behind Legitimate Tasks in Computer-Use Agents

隐形墨水威胁：计算机使用智能体中合法任务背后的对抗目标

Jia-Chen Zhang, Ze-Yu Zhang, Kai-Wei Zhang

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

AI总结 该研究针对计算机使用智能体的隐形墨水威胁，构建II-Bench与HITLCUA框架评估后发现，低危害注入可绕过防御，暴露出现有CUAs的安全风险。

DVAR: Adversarial Multi-Agent Debate for Video Authenticity Detection

DVAR：对抗性多智能体辩论用于视频真实性检测

Hongyuan Qi, Feifei Shao, Ming Li, Hehe Fan, Jun Xiao

机构 * Zhejiang University（浙江大学） ； Guangming Lab（光明实验室） 纠错

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

AI总结 DVAR通过多智能体辩论框架，将视频真实性检测转化为结构化推理过程，利用生成假设代理与自然机制代理的竞争，结合MDL框架和GenVideoKB知识库，实现对未知生成架构的强泛化能力。

Comments 9 pages

Bridging Source Code and Bytecode for Smart Contract Vulnerability Detection via Dual-Perspective Cross-Modal Distillation

ExDoS：专家引导的双焦点跨模态蒸馏用于智能合约漏洞检测

Ye Tian, Yifan Jia, Yanbin Wang, Jianguo Sun, Haitao Xu, Xin Wang, Zhihua Fu

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

AI总结 本文提出ExDoS方法，通过双焦点蒸馏框架，从源代码到字节码转移语义知识，提升智能合约漏洞检测的细粒度对齐与识别能力。

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

Variable annuities: A closer look at ratchet guarantees, hybrid contract designs, and taxation

可变年金：深入审视棘轮担保、混合合约设计与税收

Jennifer Alonso-Garcia, Len Patrick Dominic M. Garces, Jonathan Ziveyi

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

AI总结 本文研究含最低提款保障、棘轮机制与现金基金的可变年金合约，通过反向动态规划分析投保人最优策略，揭示税收、现金基金与棘轮机制的相互作用，发现二者均提升合约估值、抑制提前退保与主动提款，高税率时需同时包含以刺激需求。

Comments 36 pages, 9 figures, 6 tables

Assessing the Benefits of Combining Advanced Deep Learning Techniques for Post-Disaster Building Damage Assessment from UAV Imagery

结合先进深度学习技术的优势，从无人机影像中评估灾后建筑物损毁情况

Huy Quang Ung, Guillaume Habault, Roberto Legaspi, Hao Niu, Lian Cao, Masato Taya

机构 * KDDI Research, Inc.（KDDI研究所） 纠错

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

AI总结 本文提出将CV模型与LVLM结合的混合框架，在RescueNet、FloodNet基准上评估，可准确统计灾后建筑物损毁情况，性能优于单独基准模型且仅需少量标注数据，相关资源公开。

Comments Accepted at ECMLPKDD 2026, 31 pages (including appendix), 18 figures

Enforcing Access Control in Distributed Version Control Systems

在分布式版本控制系统中实施访问控制

Xin Xu, Quanwei Cai, Jingqiang Lin, Shiran Pan, Liangqin Ren

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

AI总结 针对分布式版本控制系统（DVCS）访问控制方案不适配的问题，提出分布式访问控制方案Disac，采用ABE和ABS实现权限控制，可轻松集成到Git客户端。

Comments 6 pages, 2 figures. Author-accepted manuscript

Journal ref 2019 IEEE International Conference on Multimedia and Expo (ICME), pp. 772-777, 2019

The First Variational Formula and the Ostrogradsky Formalism

第一变分公式与奥斯特罗格拉德斯基形式主义

Drew Watson, Matthew Pontius, Charles Torre

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

AI总结 本文推导适合本科生的经典力学中拉格朗日量的奥斯特罗格拉德斯基形式主义，提供实例、习题与应用，配套程序代码可在补充材料及GitHub获取，用于定义力学系统哈密顿形式主义。

Comments Accepted for publication in the American Journal of Physics. 16 pages

Arranging circles of radii 1,2,...,n around a central circle: a Supnick TSP and certified finite optima

将半径为1,2,…,n的圆围绕一个中心圆排列：一个Supnick旅行商问题与已验证的有限最优解

Maurizio Falconi

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

AI总结 该研究针对半径1到n的圆围绕中心圆排列的优化问题，证明其最优循环顺序为Supnick顺序，验证3≤n≤14的全局最优解，提出R*(n)的渐近形式猜想。

Comments 10 pages, 2 figures; source code and certificate artifacts available at https://github.com/falker47/ringmin

Intro2QC: An Approachable Introduction to Quantum Computing for STEM Education in High Schools

Intro2QC：面向高中STEM教育的易理解量子计算入门

Jaimie A. Greasley, Thomas E. Baker

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

AI总结 本文介绍了面向高中生的 Intro2QC 量子计算推广 workshop 材料，含在线教程、教案和幻灯片，已向约160名学生开展，旨在以易理解的方式推动高中量子计算教育。

Comments 17 pages, 5 figures

ToolRec: Calibrated Preference Alignment for Query Recommendation in On-Device Assistants

ToolRec: 面向设备端助手的校准偏好对齐查询推荐

Zihan Luo, Lingkui Chen, Ruike Zhang, Hong Huang, Boyang Zhang, Ziniu Chen, Lizhong Wang, Chao Chen

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

AI总结 提出ToolRec框架，通过构建系统工具库和双层校准机制优化点击数据，利用加权KTO对齐模型，在设备端助手查询推荐中提升点击率和相关性。

Comments Under review

RiO-DETR: DETR for Real-time Oriented Object Detection

RiO-DETR：面向实时的定向目标检测DETR

Zhangchi Hu, Yifan Zhao, Yansong Peng, Wenzhang Sun, Xiangchen Yin, Jie Chen, Peixi Wu, Hebei Li, Xinghao Wang, Dongsheng Jiang, Xiaoyan Sun

机构 * University of Science and Technology of China（中国科学技术大学） ； Huawei Technologies Co., Ltd.（华为技术有限公司） ； Tsinghua University（清华大学） ； Institute of Artificial Intelligence, Hefei Comprehensive National Science Center（合肥综合国家科学中心人工智能研究院） 纠错

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

AI总结 RiO-DETR通过任务原生设计解决实时定向检测中的角度估计、周期性细化和密集监督问题，实现速度与精度的平衡。

Comments Accepted by ECCV 2026, 31 pages, 9 figures

Multi-Solver Coupling for Parallel Adaptive Multi-Physics Simulations with Trixi$.$jl and deal$.$II

使用Trixi.jl和deal.II进行并行自适应多物理场模拟的多求解器耦合

Vivienne Ehlert, Gregor Gassner, Martin Kronbichler, Hendrik Ranocha, Michael Schlottke-Lakemper

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

AI总结 该研究利用Trixi.jl和deal.II开发了用于耦合多物理场问题数值模拟的跨语言框架原型，通过开发牛顿自引力气体动力学求解器展示其可用性，验证了收敛性等，还研究了并行扩展性，提供了可重现存储库。

EFT-Ramses: a code to simulate the effective field theory of dark energy

EFT-Ramses：一个用于模拟暗能量有效场论的代码

Nathaniel Ota Woodcock, Sownak Bose, Yunhao Gao, Baojiu Li

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

AI总结 为应对宇宙常数理论挑战，探索动态暗能量和修正引力模型，介绍EFT-RAMSES代码，它将暗能量有效场论框架嵌入数值管道，整合多种理论到单一方程，通过N体模拟验证，为暗能量和修正引力精确宇宙学测试提供强大通用计算工具。

Comments 18 pages, 5 figures (2 more in an Appendix), submitted to MNRAS; comments welcome

Explainable AI through the Lens of Material Agency: Enabling Musical Interface Design with Neural Audio Models

通过物质能动性视角实现可解释人工智能：利用神经音频模型实现音乐界面设计

Shuoyang Jasper Zheng, Anna Xambó Sedó, Nick Bryan-Kinns

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

AI总结 该研究从物质能动性视角探讨可解释人工智能，提出物质可解释性，通过构建资源库案例研究，在音乐界面设计中探索神经音频模型，还给出在艺术实践中探索人工智能为材料的建议，以启发未来面向艺术家的可解释人工智能设计。

Comments Under review for "Explainable AI for the Arts" (N. Bryan-Kinns, Ed.), Springer

Leveraging Inexpensive Lab Tools for Hands-on RF Systems Course

利用廉价实验室工具开展射频系统实践课程

B. Joel Gonzalez, Tom J. Zajdel, L. Richard Carley

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

AI总结 卡内基梅隆大学为电气与计算机工程专业学生开设新课程，利用廉价硬件通过六个实验室练习教授射频系统设计核心概念，最终现场演示波束控制技术，课程成本低且受学生欢迎，资源开源。

Comments 5 pages, 9 figures, to be submitted to the IEEE International Symposium on Circuits and Systems

TAMP-OS: An Open-Source Workflow for Tactile 3D-Printable Lithographs

TAMP-OS：触觉3D可打印光刻胶的开源工作流

Robert Faulkner, Natalia Gonzalez-Vazquez, Victoria Gamez, Karly E. Cohen, Gunther Richter, Abigale Stangl, Andrew K. Schulz

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

AI总结 提出一个低成本、开源的工作流，用于从显微镜图像生成触觉光刻文件，通过3D打印实现科学图像的可触达性。

Comments 3 figures, Abigale Stangl and Andrew K. Schulz are co-corresponding authors

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)