Banach lattices and phase retrieval: A case study for the use of AI in mathematics
巴拿赫格与相位检索：AI在数学中应用的案例研究
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 本文以巴拿赫格与相位检索领域为例，研究大型语言模型辅助数学研究时，结合Lean验证可形成更团结的学术共同体、加深领域理解。
AI 大模型
语言大模型 / LLM
大语言模型、预训练、指令微调、后训练和语言模型应用。
1. 其他LLM 784 篇
RepoOMP: Repository-Aware Hotspot OpenMP Parallelization via Dependency-Aware Context Reduction
RepoOMP：基于仓库感知的热点OpenMP并行化方法——通过依赖感知的上下文缩减
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 RepoOMP是一种混合框架，通过构建MAP和STC，在951个热点上实现平均加速比8.23×至8.96×，降低智能体令牌成本，为仓库热点并行化提供证据引导的工作流。
Overcoming Attention Drift: Homogeneity-Heterogeneity Guided Feature Aggregation for Low-Light Remote Sensing Image Enhancement
克服注意力漂移：面向低光照遥感图像增强的同质性-异质性引导特征聚合
机构 * School of Information and Artificial Intelligence, Yunnan University of Finance and Economics（云南财经大学信息与人工智能学院） ； Department of Computer Science, Hong Kong Baptist University（香港浸会大学计算机科学系） ； School of Electronics and Information, Northwestern Polytechnical University（西北工业大学电子信息学院）
专题命中 其他LLM ：foundation model(abstract,abstract_cn)
AI总结 针对低光照遥感图像增强中现有方法的注意力漂移问题，提出双先验驱动的HALO框架，通过H2CAM模块融合同质性与异质性先验，在8个基准上实现SOTA性能，提升边界清晰度与色彩保真度。
Comments 10 pages, 7 figures, 7 tables. Yaozi Zhong and Xingxing Yang contributed equally. Code: https://github.com/AlexYangxx/HALO
"Allow" to Achieve, Over-Privileged Inadvertently: The Unintended Cost of Task-Completion-Driven Pop-up Decisions in Mobile GUI Agents
“允许”达成目标：移动GUI智能体中任务完成驱动的弹窗决策的意外代价
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究移动GUI智能体的权限素养，发现其存在应用信任偏差、任务优先级覆盖等问题，提示干预效果不一，建议将任务执行与权限授权分离。
REZE: Recognition-Based Zero-Shot Extraction for Video Temporal Grounding
REZE：基于识别的视频时间定位零样本提取方法
专题命中 其他LLM ：language model(abstract,abstract_cn)
AI总结 该研究提出无训练的REZE方法，通过拆分视频为片段并聚合模型置信度，适配多种VTG任务，在多个数据集上优于现有无训练方法，部分指标超全监督SoTA，还能让旧模型性能接近同家族新模型。
Comments 18 pages, 7 figures, 13 tables. Appendices included
PixelUp: Zero-Shot Semantic Feature Upsampling for Fine-Grained Vision Tasks
PixelUp：用于细粒度视觉任务的零样本语义特征上采样
专题命中 其他LLM ：foundation model(abstract,abstract_cn)
AI总结 PixelUp是一种零样本、与视觉基础模型无关的语义特征上采样器，通过多尺度语义引导的窗口交叉注意力架构实现细粒度视觉任务的最优性能，可提升语义分割、深度估计等任务的精度。
Stateful Governance for Concurrent Agentic Systems
并发智能体系统的有状态治理
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 本文针对并发智能体系统的有状态治理问题，提出Provenact运行时架构，可防止失效授权，在采购工作流中避免策略违规，为智能体框架的有状态治理提供了可行路径。
Comments 18 pages, 8 figures. Revision notes: system terminology updated; technical content and results unchanged
Extracting ODRL Policies from Business Process Models: A Graph Traversal Approach to Compliance-by-Extraction
从业务流程模型中提取ODRL策略：一种用于“通过提取实现合规性”的图遍历方法
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 该研究提出一种图遍历流程管线，可自动从BPMN流程模型中提取ODRL策略，解决了大规模编写ODRL效率低、大型语言模型生成存在结构无效性的问题，捕捉了现有方法遗漏的等待语义，实现了可审计、互操作的合规策略生成。
Comments 10 pages, 2 figures, ODRL and beyond: practical applications and challenges for policy-base access and usage control. OPAL 2026, 2nd edition Co-located with the Extended Semantic Web Conference Dubrovnik , Croatia, 10th-11th MAY (half-day), 2026
Geometry-Guided Layerwise FFN Width Allocation in Transformers
Transformer中基于几何引导的分层前馈网络宽度分配
机构 * University of Luxembourg（卢森堡大学） ； London Institute of Mathematical Sciences（伦敦数学科学研究所）
专题命中 其他LLM ：language model(abstract)；分类 cs.CL、cs.AI、cs.LG
AI总结 该研究针对Transformer中FFN宽度恒定的问题，提出基于几何特征的分层宽度分配方法，在多个预训练语言模型实验中，其可降低验证损失且效果优于均匀宽度和余弦衰减方案。
OmniAI: A Surface-Adaptive Aerial Projection Interface for Human--Drone Interaction
OmniAI：一种面向人机交互的表面自适应空中投影界面
机构 * Skolkovo Institute of Science and Technology（斯科尔科沃科学技术研究院） ； School of Science and Engineering, The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）理工学院）
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 OmniAI是一种具现化空中智能体，通过自适应投影实现人机交互，采用RGB-D与RANSAC检测投影表面，支持语音、手势控制，为情境感知人机交互提供移动空间AR界面。
Occupational Convergence or Divergence? Mapping Labor Market Structural Shifts Driven by AI Penetration
职业的趋同还是分化？绘制由AI渗透驱动的劳动力市场结构转变图
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 本研究利用10国在线职位空缺数据，结合NLP、大语言模型等方法，发现AI相关技能在核心STEM职业间趋同，但核心与其他职业间分化，强化了职业分层。
Sample More, Reflect Less: Self-Refine and Reflexion Lose to Repeated Sampling at Equal Token Cost, from 1.5B to 7B
更多采样，更少反思：在相同 token 成本下，自改进（Self-Refine）和反思（Reflexion）不敌重复采样，模型规模从 15 亿到 70 亿参数
专题命中 其他LLM ：language model(abstract)；分类 cs.CL、cs.AI、cs.LG
AI总结 该研究发现，在相同 token 成本下，自改进、反思等含自我检查的语言模型方法均不敌重复采样，且模型规模增长会使自我检查方法的性能优势减弱，70 亿参数模型上的改写方法仍显著弱于基线。
Correcting Mode Collapse in Silicon Sampling with Semantic Similarity Rating
用语义相似度评分修正硅采样中的模式崩溃问题
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 该研究针对硅采样中LLMs生成回复的模式崩溃问题，提出语义相似度评分法，通过文本嵌入将LLMs生成的文本回复映射为数值尺度，提升了回复分布保真度且校准参数少。
Beyond Visual Ambiguity: Guiding Robust Monocular Depth Estimation in Challenging Scenarios via Detailed Long Captions
超越视觉歧义：通过详细长文本引导具有挑战性场景下的鲁棒单目深度估计
机构 * School of Artificial Intelligence and Automation, Huazhong University of Science and Technology（华中科技大学人工智能与自动化学院）
专题命中 其他LLM ：language model(abstract,abstract_cn)
AI总结 该研究针对单目深度估计的视觉歧义问题，提出CapDepth框架，通过详细长文本引导，在非朗伯表面和恶劣天气下的深度误差较现有最优方法分别降低25.0%和22.0%。
Comments Accepted to ACM MM 2026
Interactive Alignment
交互式对齐
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究交互式主体与人类福祉的长期对齐问题，采用人工智能主体模拟和进化博弈论框架两种方法，结果显示进化博弈论可近似宪法主体经济动态，实用规范执行能更有效维持长期对齐。
Comments 53 pages, 18 Figures, 3 tables
Face Age Verification Vulnerabilities Under Simple Appearance Manipulations
简单外观操纵下的面部年龄验证漏洞
机构 * Information Technologies Institute, Centre for Research and Technology Hellas（信息技术研究所，希腊研究与技术中心）
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究简单外观操纵下面部年龄验证的漏洞，评估七个模型在三个数据集及四种操纵类型下的情况，发现胡茬操纵影响大，不同人口统计特征受影响有差异，还探索了用偏差缓解方法减轻偏差。
When Machines Lie Differently: Detecting AI vs Human Fake News
当机器说谎方式不同时：检测人工智能与人类制造的假新闻
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究通过两个二元分类任务，用词汇、可读性等特征及多种机器学习模型，区分真实新闻与人类及人工智能生成的假新闻，发现检测人工智能生成的假新闻准确率高，而人类撰写的较难区分，揭示了错误信息检测的不对称性。
Comments Accepted at ICMLA
Vibe Coding: An Experiment with Test-Driven Development
Vibe编码：一项测试驱动开发的实验
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究探索人类与CLLMs通过vibe编码对等协作，设计四个交互模型并实现相应TDD工作流程。通过实验发现交互模型选择取决于开发目标，智能工作流程利于快速开发但有复杂性，协作工作流程产生更高质量测试套件。
From Grasping to Speaking: Generative AI-Based Environment-Grounded VR Communication Training for Autistic Individuals
从抓握到说话：基于生成式人工智能的自闭症个体环境基础VR沟通训练
专题命中 其他LLM ：LLM(abstract)；prompting(abstract)
AI总结 研究探索基于生成式人工智能的VR沟通训练对自闭症个体的作用，通过9名受训者和7名教练参与的三种模式实验发现，C+O+G模式更受青睐，可用性和工作量相当，有助于沟通实践融入任务执行，还讨论了相关设计考量。
Comments 14 pages, ASSETS2026
Journal ref The 28th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS 2026)
Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs
重温可证明良好的Prim-Dijkstra算法：针对经典VLSI路由问题的新理论及基于大语言模型的实用算法
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 针对经典VLSI路由问题，通过Prim-Dijkstra算法，证明弱NP完全性，推导成本-半径权衡，构建多模式求解器HP-RCRST，在开发实例上表现出色，重新开启被忽视问题，展现大语言模型对算法研究的推动作用。
Comments 23 pages, 6 figures. Code and reproducibility materials: https://github.com/CODA-Team/hp-rcrst
The Environmental Cost of Digital Sovereignty: Water, Energy, and Emissions Impacts of Sovereign AI Infrastructure in the Global South
数字主权的环境成本：全球南方主权人工智能基础设施的水、能源和排放影响
专题命中 其他LLM ：language model(abstract)；small language model(abstract)
AI总结 研究全球南方主权人工智能基础设施的环境成本，通过对四个案例分析，模拟其水、能源消耗及碳排放，发现存在主权-可持续性困境，进而提出对环境负责的主权人工智能设计原则。
Can LLMs Perform Deep Technical Comprehension of Computer Architecture Papers?
大语言模型能否对计算机体系结构论文进行深度技术理解？
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究大语言模型对计算机体系结构论文的深度理解，通过开源管道Gauntlet进行分析，经与人类分析对比及消融实验，发现其多智能体结构有优势，尤其合成阶段，还将相关资源作为社区资源发布。
Comments 4 pages, 1 figure
Norm Enforcement for AI Agents: Robustly Shaping Behavior in Multi-Agent Systems
人工智能代理的规范执行：在多智能体系统中稳健塑造行为
专题命中 其他LLM ：language model(abstract)；分类 cs.CL、cs.AI、cs.LG
AI总结 研究多智能体系统中语言模型代理的规范执行机制，针对简单机制易被利用的问题，确定估计代理可靠性及加重惩罚更新估计这两个关键要素，所构建机制可抵御利用且低成本惩罚违规，是塑造智能体行为的可扩展手段。
Comments ICML2026 Trustworthy AI for Good Workshop
Localized control of large ion crystals in a Penning trap using a spatial light modulator
使用空间光调制器对彭宁阱中的大离子晶体进行局部控制
专题命中 其他LLM ：SLM(abstract,abstract_cn)
AI总结 研究利用空间光调制器对彭宁阱中大离子晶体进行局部控制，通过施加可编程交流斯塔克位移图案实现，验证了该技术并为彭宁阱中单个离子寻址提供途径。
Comments Main text: 5 pages, 3 figures; End matter: 2 pages, 2 figures; Supplemental material: 10 pages, 11 figures
Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition
思考更多，利用更好：通过项目剖析和工作流分解实现状态机引导的测试 harness 自动生成
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 研究针对现有大语言模型单轮生成模糊测试 harness 的局限，提出 SynapseFlow，通过数据流感知函数聚合和分阶段回滚算法，经四阶段过程合成 harness，在 25 个开源项目上评估，效果超现有工具，还发现多个未报告错误。
Comments 20 pages, accepted by CCS 2026
Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants
基于意图的变异测试：从自然编写的编程意图到变异体
专题命中 其他LLM ：large language model(abstract)；language model(abstract)
AI总结 提出基于意图的变异测试，通过改变被测程序实现的编程意图来生成变异体，与传统测试不同，能捕获不同类型故障，用大语言模型实现并评估，可补充传统变异测试。
Refploit: Facilitating Exploit Construction via Code-Agent Trajectory Repair
Refploit: 通过代码代理轨迹修复促进漏洞利用构建
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 提出Refploit框架，利用大语言模型修复代码代理生成的失败轨迹，通过差分执行验证和约束引导恢复，在Java漏洞数据集上实现80.2%的复现率，相对初始轨迹提升64.3%。
Knowledge Over Parameters: Evolving Smart Contract Vulnerability Detection
知识超越参数：演化智能合约漏洞检测
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 提出EvoVuln框架，将漏洞检测转化为程序性知识演化问题，通过运行时反转控制架构和两阶段演化流水线，仅用少量标注样本自动合成并优化检测逻辑，在五种真实漏洞类型上实现71%宏平均F1分数。
How Much Static Structure Do Code Agents Need? A Study of Deterministic Anchoring
代码智能体需要多少静态结构？关于确定性锚定的研究
专题命中 其他LLM ：LLM(abstract,abstract_cn)
AI总结 研究轻量级静态分析（如调用图、继承层次）作为确定性锚定，通过注入结构注释提高代码智能体导航的可复现性和稳定性，发现锚定效果依赖粒度与仓库特性。
Comments Accepted to the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026). 21 pages
Harnessing the Latent Space: From Steering Vectors to Model Calibrators for Control and Trust
利用潜在空间：从引导向量到模型校准器以实现控制与信任
机构 * Carnegie Mellon University, Language Technologies Institute（卡内基梅隆大学语言技术研究所）
专题命中 其他LLM ：language model(abstract)；分类 cs.CL、cs.AI、cs.LG
AI总结 本文提出利用潜在空间中的引导向量控制语言模型行为，并开发基于潜在空间的模型校准器评估输出可信度，从而增强模型的可控性与可靠性。
Comments ACL 2026 (BigPicture Workshop)
