代码大模型 / AI 编程

Microscopic constraints for the equation of state and structure of neutron stars: a Bayesian model mixing framework

中子星状态方程与结构的微观约束：贝叶斯模型混合框架

A. C. Semposki, C. Drischler, R. J. Furnstahl, D. R. Phillips

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

AI总结 提出贝叶斯模型混合框架，结合手征有效场论和微扰QCD约束中子星物质状态方程，采用高斯过程量化不确定性，并推导质量-半径关系。

Comments 17 pages, 9 figures, 3 tables. Version now matches the published article

Vision-Language Work Zone Intelligence for Safety-Critical Speed Regulation of Mixed-Autonomy Vehicles in Dynamic Environments

面向动态环境中混合自主车辆安全关键速度调节的视觉语言工作区智能

Angel Martinez-Sanchez, Kianna Ng, Wesley Maia, Laura Fleig, Maitrayee Keskar, Erika Maquiling, Yash Tandon, Parthib Roy, Mohan Trivedi, Ross Greer

机构 * UC Merced（加州大学默塞德分校） ； Johns Hopkins（约翰霍普金斯大学） ； UC San Diego（加州大学圣地亚哥分校） 纠错

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

AI总结 提出一种实时车载感知管线，通过目标检测与语义验证融合及滞后状态转换，从视觉标志中识别临时工作区限速，在低成本硬件上实现96.5%召回率和68.7%精确率。

ClawXiv: a signed archival workflow and distributed publication architecture for human--AI collaborative research

ClawXiv：一种带签名的存档工作流和分布式出版架构，用于人机协作研究

Andras Kornai

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

AI总结 ClawXiv旨在解决预印本的公开传播及从易逝的聊天会话和异构LaTeX/BibTeX工作目录迁移至持久、带签名、可检查的研究成果的问题，通过四种状态管理实现可靠存档。

Embedded Graph Convolutional Networks for Real-Time Event Data Processing on SoC FPGAs

嵌入式图卷积网络用于SoC FPGA上的实时事件数据处理

Kamil Jeziorek, Piotr Wzorek, Krzysztof Blachut, Andrea Pinna, Tomasz Kryjak

机构 * University of Warsaw（华沙大学） ； Politechnika Warszawska（华沙理工大学） 纠错

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

AI总结 提出一种针对事件相机的硬件感知图卷积网络EFGCN，在SoC FPGA上实现实时处理，模型大小相比AEGNN降低100倍，精度仅下降2.9%。

Comments Submitted to the IEEE Transactions on Very Large Scale Integration Systems. This manuscript was first submitted for publication on March 31, 2024. It has since been revised three times: on 22 Mau 2024, 10 June 2024 and 19 June 2025 (major update)

Journal ref Journal of Systems Architecture, Volume 177, August 2026, 103850

Lightfall: An API-first, LLM-addressable control platform for synchrotron beamlines

Lightfall: 一种面向同步辐射光束线的API优先、LLM可寻址控制平台

Ronald J. Pandolfi, Damian Guenzing, Marcus M. Noack, Sophie A. Morley, Damon English

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

AI总结 针对同步辐射光束线控制界面定制化需求，提出Lightfall平台，采用API优先架构，通过统一可寻址接口暴露所有面板、设备和扫描计划，并嵌入语言模型代理驱动实验，支持自然语言修改界面，降低定制成本。

Comments 21 pages, 4 figures

An automated proof that R(B_8,B_10)=37

R(B_8,B_10)=37 的自动化证明

Jeremy Kalfus, Bernard Lidický

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

AI总结 通过AI辅助工作流AutoMath，证明了书图Ramsey数R(B_8,B_10)=37，并给出了上界的Lean形式化证明。

Comments 8 pages

Food-R1: A Unified Multi-Task Food Vision-Language Model with Reinforcement Learning

Food-R1: 一种基于强化学习的统一多任务食品视觉语言模型

Yu Zhu, Yongkang Li, Wenjie Zhu, Haoyi Jiang, Wenyu Liu, Wei Yang, Bin Li, Xinggang Wang

机构 * Huazhong University of Science and Technology（华中科技大学） 纠错

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

AI总结 针对现有食品视觉语言模型依赖监督微调导致推理和泛化能力受限以及营养标注稀缺的问题，提出包含链式思维标注的大规模基准CalorieBench-80K和基于强化微调（GRPO）的统一多任务食品视觉语言模型Food-R1，在食品相关任务上持续超越强基线。

Optimization-based Feedback Manipulation Through an Array of Ultrasonic Transducers

基于超声换能器阵列的优化反馈操控

Josef Matouš, Adam Kollarčík, Martin Gurtner, Tomáš Michálek, Zdeněk Hurák

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

AI总结 本文提出了一种新型实验室实验平台，用于通过声压非接触平面操控（定位）毫米级物体，物体要么漂浮在水面上，要么在固体表面滚动。通过8x8换能器阵列实时形变声压场，利用平方电压驱动，通过周期性更新相位差实现位置反馈控制，采用数值优化确定电压相位差，该平台可作为低成本测试平台用于多执行器非接触操控算法的开发。

Comments final version before submission to IFAC Mechatronics 2019 conference

An Optimal Graph-Search Method for Secure State Estimation

一种用于安全状态估计的最优图搜索方法

Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos

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

AI总结 本文提出了一种新的最优图搜索算法，用于在大规模线性时不变系统中正确识别恶意攻击并安全估计状态，同时优于现有算法在最优性和执行时间方面。

Comments 16 pages, 10 figures

A Note on Parallel Preconditioning for All-At-Once Evolutionary PDEs

关于所有一次演化PDEs并行预条件的注记

Anthony Goddard, Andrew Wathen

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

AI总结 本文研究提出了一种并行预条件方法，用于解决所有一次演化PDEs的预条件问题，并通过Neumann级数方法扩展了预条件器，实现了高效的并行执行。

Comments 13 pages, 3 figures

Inexact Krylov iterations and relaxation strategies with fast-multipole boundary element method

不精确的Krylov迭代与松弛策略与快速多极边界元方法

Tingyu Wang, Simon K. Layton, Lorena A. Barba

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

AI总结 本文提出基于快速多极边界元方法的不精确Krylov迭代与松弛策略，通过降低多项式阶数提升计算效率，对拉普拉斯和斯托克斯问题实现2.1至4.0倍的加速。

Comments 21 pages, 20 figures. Second version submitted for peer review on March 2016, with all results re-computed and revised author list. Rejected in October 2016. Currently undergoing revision for a third submission. See progress of open revision in https://github.com/barbagroup/inexact-gmres

A numerical framework for computing steady states of size-structured population models and their stability

计算大小结构化种群模型稳态及其稳定性的数值框架

Inom Mirzaev, David M. Bortz

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

AI总结 本文提出一种计算一般演化方程稳态近似解的数值框架，用于研究稳态的存在性和稳定性，并通过线性Sinko-Streifer模型和非线性种群平衡方程验证其有效性。

Multilinear PageRank

多线性PageRank

David F. Gleich, Lek-Heng Lim, Yongyang Yu

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

AI总结 本文将PageRank扩展到高阶马尔可夫链，提出多线性PageRank作为可计算的近似方法，基于空间随机漫步模型，探讨了其收敛性理论及非收敛案例。

Online K-d tree for approximate neighborhood search in data streams

数据流中近似邻域搜索的在线K-d树

Eduardo V. L. Barboza, Robert Sabourin, Rafael M. O. Cruz

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

AI总结 提出一种在线K-d树算法，支持数据流上的动态更新，并适配Canberra距离以保持结构不变性，实现高效近似邻域搜索，在准确率损失较小的情况下显著提升处理速度。

Comments Paper accepted to the ICPRAI 2026

SLSim: a strong lensing population simulation package

SLSim：强引力透镜星系群模拟软件包

Narayan Khadka, Simon Birrer, Henry Best, Paras Sharma, Katsuya T. Abe, Xianzhe Tang, Carly Mistick, Felipe Urcelay, Emrecan M. Sonmez, Nikki Arendse, Sydney Erickson, Jacob O. Hjortlund, Phil Holloway, Alan Huang, Rahul Karthik, Mia Lamontagne, Vibhore Negi, Justin R. Pierel, Bruno Sanchez, Aysu Ece Saricaoglu, Anowar Shajib, Yixuan Shao, Padma Venkatraman, Bryce Wedig, Aadya Agrawal, Timo Anguita, Pedro Bessa, Clecio R. Bom, Sofia Castillo, Thomas Collett, Tansu Daylan, Steven Dillmann, Margherita Grespan, Erin E. Hayes, Remy Joseph, Richard Kessler, Tian Li, Phil Marshall, Anupreeta More, Veronica Motta, Gautham Narayan, Matt O'Dowd, Masamune Oguri, Graham Smith, Aprajita Verma, Giorgos Vernardos, the Strong Lensing Science Collaboration, the LSST Dark Energy Science Collaboration

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

AI总结 为应对即将到来的大规模巡天（如LSST）中强引力透镜数量激增的挑战，开发了SLSim模拟软件包，通过集成先进天体物理模型高效生成合成强透镜星系群，支持静态和瞬变透镜场景，用于宇宙学研究及透镜搜索与分析管道的训练测试。

Comments 36 pages, 16 figures

GloResNet: A lightweight 3D CNN with global topological features for preterm brain injury prediction

GloResNet：一种用于早产儿脑损伤预测的轻量级3D CNN与全局拓扑特征

Boyu Yuan, Jiamiao Lu, Weichuan Zhang, Benqing Wu, Tuo Wang, Changshan Wang, Changming Sun, Liang Guo

机构 * Image Computing Laboratory, Shaanxi University of Science and Technology（陕西科技大学图像计算实验室） ； Department of Neonatology, Shenzhen University of Advanced Technology General Hospital（深圳先进技术医院新生儿科） ； Department of Neurosurgery, The First Affiliated Hospital of Xi’an Jiaotong University（西安交通大学第一附属医院神经外科） ； CSIRO Technology（澳大利亚CSIRO技术） 纠错

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

AI总结 提出基于ResNet-10的轻量级3D CNN GloResNet，结合全局流形映射和预处理策略，在dHCP数据集上实现早产儿脑损伤预测，平均准确率75.18%。

The Atacama Cosmology Telescope: Release of A databaSe of millimeTeR ObservatioNs of Asteroids Using acT (ASTRONAUT)

阿塔卡马宇宙学望远镜：利用ACT的小行星毫米波观测数据库（ASTRONAUT）发布

Ricco C. Venterea, John Orlowski-Scherer, Nicholas Battaglia, Sigurd Naess, Steve K. Choi, Allen Foster, Joseph Golec, Bruce Patridge, Cristóbal Sifón, Edward J. Wollack

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

AI总结 本文发布了基于阿塔卡马宇宙学望远镜（ACT）在90、150和220 GHz频段观测170颗小行星的毫米波通量数据库ASTRONAUT，并提供使用示例和Jupyter笔记本。

Comments 8 pages, 2 figures, 3 tables, submitted to ApJS

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin

弥合理论与实践：面向 ProVerif 和 Tamarin 的可执行安全属性分类法

Leonard Tudorache, Ivan Kurtev, Mark van den Brand

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

AI总结 本文通过系统文献综述和可执行示例，构建了一个安全属性分类法，帮助协议设计者弥合安全概念与形式化验证工具（ProVerif 和 Tamarin）之间的鸿沟。

Comments Under review at International Journal on Software and Systems Modeling (SoSyM)

Energy-Optimal Thermal Management of Heat-Pump Battery Electric Vehicles

热泵电池电动汽车的能量最优热管理

Prashant Lokur, Nikolce Murgovski

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

AI总结 提出一种结合规则基监督层与连续非线性模型预测控制的混合控制框架，用于热泵电动汽车的热管理，在满足舒适性和温度约束下最小化热能耗，并在寒冷气候下实现20-28%的节能。

Comments This paper has been submitted for publication in IEEE Open Journal of Vehicular Technology (OJVT)

Improving CFT Operators Using Machine Learning

使用机器学习改进CFT算子

Lior Oppenheim, Snir Gazit, Zohar Ringel

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

AI总结 提出一种数据驱动方法改进晶格算子，增强其与连续共形场论主算子的重叠，从而减少有限尺寸效应并更精确估计标度维度。

ReclaimNet: Reclaim-Aware Network Protocols for Voluntary GPU Sharing on Campus

ReclaimNet: 面向校园自愿GPU共享的可回收感知网络协议

Wenyang Jia, Jingjing Wang, Xianneng Zou, Kai Lei

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

AI总结 提出ReclaimNet网络层迁移协议套件，通过可回收感知检查点调度、波动感知目标选择和截止时间感知迁移流量控制，解决自愿GPU共享中所有权可撤销与迁移机制不匹配的问题，在54节点异构校园测试平台上将工作损失降低66%。

CTseg: A Tool for Brain CT Segmentation, Spatial Normalisation, and Volumetrics

CTseg：用于脑CT分割、空间归一化和体积测量的工具

Mikael Brudfors

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

AI总结 本文介绍并验证了CTseg，一个基于Multi-Brain生成建模框架的免费软件，用于脑CT图像的分割、空间归一化和体积测量，并通过与MRI参考标准的对比验证了其在分割精度、空间归一化一致性、脑体积一致性和下游性别分类性能上的优越性。

Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions

沉默的同意，持续的风险：Android权限组与自定义权限

Olawale Amos Akanji, Manuel Egele, Gianluca Stringhini

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

AI总结 通过分析1930万APK和Android 16设备验证，揭示权限组自动授予新权限和正常级自定义权限静默安装的机制导致17%的多版本应用在已授权组内静默获得权限，且恶意软件比例更高（OR=1.35），并发现307个跨开发者自定义权限对暴露敏感数据。

Comments 24 pages, 3 figures, 6 tables. To appear in the Proceedings of the 23rd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2026), July 1-3, 2026, Chania, Greece. Springer Lecture Notes in Computer Science (LNCS)

Anonymous YARA Rules Are Not Anonymous

匿名YARA规则并不匿名

Usman Rabiu Isah, Laurent Bobelin, Pascal Berthomé

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

AI总结 通过分析YARA规则的文体特征，发现仅移除元数据无法保护作者身份，仓库来源、作者和恶意软件家族均可被高精度识别。

MetaboKG: An Analysis-centric Knowledge Graph Framework for Untargeted Metabolomics

MetaboKG：面向非靶向代谢组学的分析中心知识图谱框架

Matthieu Féraud, Dina Boukhajou, Fabien Gandon, Louis-Félix Nothias

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

AI总结 提出MetaboKG框架，通过转换工作流、语义模型和通用注释标识符策略，整合公共存储库中的代谢组学数据，支持可追溯的注释复用和可重复的SPARQL查询。

Self-Evolving Multi-Agent Systems via Decentralized Memory

通过去中心化记忆实现自演化多智能体系统

Guangya Hao, Yunbo Long, Zhuokai Zhao

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

AI总结 本文提出DecentMem，一种去中心化的记忆框架，通过每个智能体维护两个记忆池来提升多智能体系统的性能，理论证明其能保证解空间的全局可达性并达到O(log T)的累积遗憾，实验显示在多个框架和基准测试中，DecentMem在准确率和资源利用方面均有显著提升。

The Ephemeral Web and the Case for Proactive Archiving

短暂的网络与主动存档的案例

Meliksah Yorulmazlar

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

AI总结 本文探讨了网络作为机构和社会生活的持久记录的脆弱性，提出主动存档应成为网站维护的一部分，通过巴基斯坦大使馆国际学校案例展示自动化存档系统的构建与应用，并指出存档系统本身也存在风险。

Comments 9 pages, 1 algorithm

Lumina: An AI-Augmented Multiscale Material Informatics Framework for Extreme Aero-Chemo-Thermo-Mechanical Regimes

Lumina：一种增强型多尺度材料信息学框架，用于极端气-化-热-力学环境

Pradeep Kumar Seshadri, Vigneshwaran N, Sudaroli Dhananjeyan, Karthikeyan S, Navbila K, Sridhar S, Subhadevi K, Hari Sree Charan H, Abdul Azeez A, Jeswin Mickle, Harsha C

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

AI总结 本研究提出Lumina框架，通过整合多尺度材料数据，提升在极端气-化-热-力学环境下的预测模拟和实验设计的精度与效率，同时提供AI辅助的材料检索和自然语言查询功能。

Comments This work was presented in High Energy Materials Conference & Exhibition 2026 and subsequently published in its proceedings

On the correlation between globular clusters and the distribution of dark matter in galaxy clusters: the case of Abell 2744

关于球状星团与星系团暗物质分布的相关性：以阿贝尔2744星系团为例

Marta Reina-Campos, Joshua S. Speagle, William E. Harris

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

AI总结 本文通过统计方法研究球状星团在星系团中的分布与其暗物质分布的相关性，发现球状星团的分布更紧密地与预测的质量图相关联，为研究星系团质量分布提供了新的独立方法。

Comments 16 pages, 8 figures - scripts available here: https://github.com/mreinacampos/starclusters-in-jwst/tree/a3df64fa8a821ece9ebc014b7010066971a07958/code_poisson_comparison/abell2744 - submitted to ApJ, comments welcome!

Hunting Vulnerability Variants in AI Infra: Measurement and Reference-Driven Detection

在AI基础设施中寻找漏洞变体：测量与参考驱动的检测

Tian Dong, Yanjun Chen, Shoufeng Zhang, Huaien Zhang, Yunlong Lyu, Keke Lian, Dong Zhang, Shaofeng Li, Hao Chen

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

AI总结 本文研究了AI基础设施中漏洞变体的测量与参考驱动检测，通过分析688个GitHub仓库和251个公开披露的漏洞，发现AI基础设施项目经常共享重叠功能和重复的漏洞模式，提出了基于参考的多智能体框架INFRASCOPE，用于自动识别和验证新的漏洞变体。

Comments 19 pages