代码大模型 / AI 编程

KAN-HAR: A Human activity recognition based on Kolmogorov-Arnold Network

KAN-HAR：基于Kolmogorov-Arnold网络的人体活动识别

Mohammad Alikhani

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

AI总结 该研究提出基于Kolmogorov-Arnold网络（KAN）的人体活动识别（HAR）方法，利用三轴加速度计与MotionSense数据集验证，KAN在分类性能相当或更优的同时参数更少，为HAR提供高效可解释方案。

Calabi-Yau Orientifold Hypersurfaces and their F-theory Uplifts

Calabi-Yau 定向折叠超曲面及其 F-理论提升

Bjoern Hassfeld, Jakob Moritz

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

AI总结 提出算法构造 Calabi-Yau 三维流形定向折叠及其 F-理论提升为椭圆纤维化 Calabi-Yau 四维流形，嵌入环面簇中，并计算四维流形周期和七膜超势。

Comments 51 pages + appendices, v2: Improved statistics, figures added and new database referenced

A certified lower bound on the quantum-capacity threshold of the depolarizing channel

去极化信道量子容量阈值的认证下界

Artus Krohn-Grimberghe

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

AI总结 该研究针对去极化信道量子容量阈值，给出首个已证明的正性结果，明确45副本两输入态在特定p值下满足I_c>0，还实现了两个竞争码态正性边界的认证排序。

Comments 13 pages, 2 tables. v2: expanded attribution and related work; clarified claim scope and evidence taxonomy; certified bound unchanged. Verification artifact: DOI 10.5281/zenodo.21962925

Competing-Risk Cure Models: A Five-Axis Systematic Review of Methodological Literature

竞争风险治愈模型：方法学文献的五轴系统综述

Nilotpal Sanyal

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

AI总结 本文对26篇竞争风险治愈模型的方法学文献从五个维度进行系统综述，明确模型分类与差异，指出可重复性不足问题，为模型选择与相关研究提供支持。

Comments 34 pages, 2 figures

ChemReporter: A Framework for Curating and Exporting Large-Scale Chemical Datasets for MLIP Training

ChemReporter：用于整理和导出用于MLIP训练的大规模化学数据集的框架

Marie Bluntzer, Jules Tilly, Christoph Brunken

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

AI总结 ChemReporter是一款模块化框架，可将异构大规模化学数据集转为统一可查询格式，经处理、查询、导出三个阶段生成MLIP可用训练数据，支持处理超内存规模数据集，已在GitHub和PyPI发布。

Comments 19 pages, 10 figures

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

机构 * Centre for Digital Music, Queen Mary University of London（伦敦玛丽女王大学数字音乐中心） ； Creative Computing Institute, University of the Arts London（伦敦艺术大学创意计算学院） 纠错

专题命中 仓库级理解 ：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