QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery
QRS：一种用于自主漏洞发现的神经符号三元组规则生成器
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 QRS通过神经符号方法生成代码查询，发现超出预定义模式的漏洞，显著降低假阳性，并在低开销下发现高严重性漏洞。
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 逻辑推理 3056 篇
Autonomous Cyber Defense in Connected Vehicles: A Multi-Agent Approach to V2X Security
网联车辆中的自主网络防御：一种面向V2X安全的多智能体方法
专题命中 逻辑推理 ：planning(abstract)
AI总结 针对网联车辆V2X安全，提出三层多智能体架构，以SAE标准时序为硬性约束，分层处理消息分类、冲突解决与模型优化，解决现有入侵检测系统的安全-安保冲突问题。
Astrobiology and the Transformation of Scientific Epistemology
天体生物学与科学认识论的变革
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 该研究探讨天体生物学因“n=1问题”成为缺乏基础确定性的“暂态科学”，其与AI等新兴领域共同推动科学知识构建方式的变革。
Comments In: Steven J. Dick, Astronomy and Philosophy: Conceptual and Methodological Foundations and Challenges, 2026. Cambridge: Cambridge University Press
Journal ref In: Steven J. Dick, Astronomy and Philosophy: Conceptual and Methodological Foundations and Challenges, 2026. Cambridge: Cambridge University Press
MPC for underactuated spacecraft control with a Lyapunov supervised physics-informed neural network correction layer
基于李雅普诺夫监督的物理信息神经网络校正层的欠驱动航天器MPC控制
机构 * Politecnico di Torino（托斯纳理工学院） ； Argotec S.R.L.（Argotec公司）
专题命中 逻辑推理 ：planning(abstract)
AI总结 针对欠驱动航天器姿态控制，提出一种分层架构，结合非线性模型预测控制、物理信息神经网络和李雅普诺夫监督机制，在不确定性下降低稳态误差并保持鲁棒性。
Comments Accepted at SPAICE (AI in and for Space) 2026
KC-BFPRL: Knowledge-Guided Multi-UAV Collaboration for Grassland Restoration via Bilevel Formerpointer-Based Reinforcement Learning
KC-BFPRL：基于知识引导的多无人机草原修复协作方法——通过 bilevel Formerpointer 强化学习实现
专题命中 逻辑推理 ：planning(abstract)
AI总结 KC-BFPRL 是一种知识引导的 bilevel Formerpointer 强化学习框架，可解决多无人机草原修复的 RAMP 问题，性能优于现有方法，适用于大规模自动化生态修复。
When Truth Is Distributed: Misinformation Derails Collective Fact Recovery in LLM-Based Multi-Agent Systems
当真相被分散时：错误信息会破坏基于大语言模型（LLM）的多智能体系统中的集体事实恢复
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 本研究提出Hi-Agreement评估框架，发现基于LLM的多智能体系统中，关键证据持有者的虚假证词会破坏集体事实恢复，使恢复率从72.50%降至14.17%，且虚假证据会持续传播。
From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate
通过多智能体辩论引导的运行时执行轨迹指导的自动程序修复
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 本文提出TraceRepair框架，利用运行时事实作为共享约束进行补丁验证，通过多智能体协作提高修复效率和泛化能力，实验显示其在修复缺陷和处理新 bug 数据集上表现优异。
Comments 13 pages, 4 figures, 10 tables. Accepted at the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)
Mimir: A Neuro-Symbolic Memory System with Dynamic Grounding for Embodied Agents in Interactive Environments
Mimir：面向交互环境中具身智能体的、具备动态 grounding 的神经符号记忆系统
专题命中 逻辑推理 ：planning(abstract)
AI总结 本文提出Mimir，一种分离世界与任务记忆并具备动态grounding的神经符号记忆系统，在EB-ALFRED、EB-Habitat等具身任务中显著提升了智能体的长程执行成功率。
Comments 9 pages, 4 figures
DAC-Pose: Dual-Agent Collaborative Framework for Pose-Guided Human Generation
DAC-Pose：用于姿态引导人体生成的双智能体协作框架
机构 * Faculty of Data Science, City University of Macau（澳门城市大学数据科学学院） ； Shenzhen University of Advanced Technology（深圳理工大学） ； Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences（中国科学院深圳先进技术研究院） ； School of Computing and Mathematical Sciences, University of Leicester（莱斯特大学计算与数学科学学院）
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 针对姿态引导人体生成在剧烈视角变化下的视觉伪影问题，提出双智能体协作框架DAC-Pose，通过PSR与DAVE智能体的反馈循环实现高保真合成，在DeepFashion和Market-1501基准上验证了其优越性。
Comments Code is available at DAC-Pose" target="_blank" rel="noopener">https://github.com/AIVRC/DAC-Pose
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models
基于开放权重模型的神经符号漏洞证明生成
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究人员提出POVGEN神经符号框架，利用开放权重模型实现低成本漏洞证明生成，在基准测试和真实CVE中表现优于模糊测试与符号执行，还发现了有缺陷补丁及未报告漏洞。
CROSS: Cascaded Distillation and Dual-Constraint Grounding for Remote Sensing Referring Segmentation
CROSS：用于遥感指称分割的级联蒸馏与双约束 grounding
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 针对遥感指称分割中架构弱耦合与语义偏差问题，本文提出CROSS范式，通过LGCD与PSCL实现性能突破，成为RRSIS的稳健新方案。
Comments Accepted at the European Conference on Computer Vision (ECCV) 2026. 20 pages, 6 figures, and 5 tables. Tingzhang Luo and Ruizhong Liu contributed equally. Jianyuan Guo is the corresponding author. Project page: https://clarence-cv.github.io/CROSS/
EffiHolmes: Differential Profiling-Guided Repository Level Time Inefficiency Fix Localization
EffiHolmes：基于差分分析的仓库级时间低效修复定位
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 EffiHolmes是基于LLM的仓库级时间低效修复定位框架，通过差分分析等技术提升定位精度，在RepoEffi-Bench上优于多种基线方法，且跨模型规模稳健。
Comments Accepted at the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026). 13 pages, 3 figures, and 4 tables
Breaking the Horizontal Prior: From Long-Tailed Orientation Bias to Roll-Robust Monocular Depth Estimation
打破水平先验：从长尾方向偏差到抗翻滚单目深度估计
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 该研究针对单目深度估计中受水平先验（长尾方向偏差）导致的相机翻滚鲁棒性差问题，提出训练时监督策略ID-Constraint，经多基准数据集实验验证了方法的有效性。
Comments The code is publicly available on GitHub: https://github.com/KaihuaTang/Horizontal-Prior
ParticleGen: A Multi-Agent System for Particle Effects Generation
ParticleGen：用于粒子效果生成的多智能体系统
专题命中 逻辑推理 ：planning(abstract)
AI总结 本研究提出多智能体框架ParticleGen，可从自然语言描述合成结构化可编辑粒子系统，经Unreal Engine 5的Niagara系统多场景验证，能降低创作门槛、提升迭代效率。
Image-Space Rule Discovery
图像空间中的规则发现
机构 * The University of Tokyo（东京大学） ； National Institute of Advanced Industrial Science and Technology (AIST)（独立行政法人产业技术综合研究所） ； University of Oxford（牛津大学）
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 本研究提出WISRD基准测试图像编辑模型的图像空间规则发现能力，发现Nano Banana Pro表现最优，当前模型可部分依赖图像内指令，且该模型在4×4数独等任务上有一定性能。
Comments 20 pages, 5 figures
Joint Optimization of Human Headcount and Stochastic AI Resource Capacity
人力资源配置与随机AI资源容量的联合优化
专题命中 逻辑推理 ：planning(abstract)
AI总结 本文针对生成式AI工具带来的成本压力，构建联合分配模型优化人力资源与AI令牌容量，得出相关最优解及替代关系反转的实证检验条件。
Comments 16 pages, 4 figures. Comments welcome
TGCM: Topic-Guided Consistency Modeling for One-Step Disentanglement of Interleaved APT Technique Sequences
TGCM: 主题引导的生成式解缠交错APT技术序列
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 提出TGCM框架，利用一致性模型和MITRE ATT&CK主题先验，从交错的多源APT技术序列中直接解缠出单源攻击链，在合成和真实数据集上优于15种基线方法。
Comments 14 pages, Due to arXiv's abstract length limit, the web version of the abstract has been shortened while preserving the paper's original scope, claims, and results. The implementation and experimental artifacts are publicly available at https://irish-kw.github.io/TGCM_Website/
Hypothesis-Driven Shelf Generation for Personalised Recommendation
用于个性化推荐的假设驱动型货架生成
专题命中 逻辑推理 ：planning(abstract)
AI总结 研究针对个性化推荐中货架生成问题，提出内容假设驱动型系统，含假设生成等四个阶段，解耦货架规划与目录填充，支持独立优化，经生产管道结合多种操作，通过离线和在线评估，该系统能扩展个性化推荐供应，效果有竞争力。
Comments Accepted at ACM RecSys '26 (Industry Track)
Clinical Pathways as Safety Specifications for Physical AI in Hospital Wards
临床路径作为医院病房物理人工智能的安全规范
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究针对医院病房物理人工智能系统的安全挑战，提出将临床路径作为安全规范，构建集成多种组件的概念性机器人架构，用运行时安全监视器结合多种方法识别安全违规，助力护理人员并为安全物理人工智能做贡献。
Comments 4 pages, 3 figures. Accepted at the 1st IJCAI Workshop on Safe Physical AI (SPAI 2026), held in conjunction with IJCAI-ECAI 2026, Bremen, Germany
STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models
STeP：用于视觉语言模型动作生成精确规范的信号时序逻辑
机构 * University of Maryland（马里兰大学）
专题命中 逻辑推理 ：planning(abstract)
AI总结 针对视觉语言动作模型缺乏可解释性及难以遵循精确自然语言指令的问题，提出用信号时序逻辑（STL）连接高级语言理解与低级机器人执行的分层框架，经实验验证该框架能提高语言条件下机器人规划的精度、可靠性和可解释性。
Comments 14 pages, 6 figures
Efficient Multi-round LLM Inference over Disaggregated Serving
高效多轮LLM推理的解耦服务
专题命中 逻辑推理 ：planning(abstract)
AI总结 AMPD通过自适应协调预填充和解码工作负载，提升多轮LLM推理的服务级别目标达成率。
Comments ICML 2026
MechMem-RTL: Reusing Verified Mechanism Memories for LLM-Based RTL Repair
MechMem-RTL：用于基于大语言模型的RTL修复的可复用验证机制存储器
专题命中 逻辑推理 ：verifier(abstract)
AI总结 研究针对大语言模型修复RTL设计时，利用任务文本相似性易误导的问题，提出MechMem-RTL框架，复用验证器确认的修复记录，通过严格匹配触发证据来注入记录，实验表明该框架在多个任务上修复效果优于标准反馈修复和任务相似性RAG。
Comments 7 pages, 6 figures, 3 tables
QBism Logic
QB主义逻辑
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究基于QB主义对量子理论的解释进行逻辑形式化，通过引入相关语言和证明定理，将无动态算子片段转化为一阶公式，归约有效性，还表明有限维量子理论可通过SIC等实现框架并满足相关条件。
DeliCIR: Memory-Guided Test-Time Deliberation via Multi-Agent Collaboration for Composed Image Retrieval
DeliCIR: 用于组合图像检索的深思型测试时进化分层多智能体
机构 * Key Laboratory of Computing Power Network and Information Security, Ministry of Education, Shandong Computer Science Center (National Supercomputer Center in Jinan), Qilu University of Technology (Shandong Academy of Sciences)（计算机网络与信息安全部重点实验室，教育部，山东计算机科学中心（济南国家超算中心），青岛科技大学（山东科学院）） ； School of Artificial Intelligence, Beijing University of Posts and Telecommunications（北京邮电大学人工智能学院） ； School of Artificial Intelligence, Mohamed bin Zayed University（Mohamed bin Zayed大学人工智能学院）
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 提出一种分层感知-深思框架PDF，通过分层多智能体架构、意图路由管理器、决策管理器及锦标赛式测试时缩放策略，实现经验自进化与测试时缩放定律在组合图像检索中的首次应用，在三个基准数据集上达到最优性能。
Comments 10 pages, 3 figures,4 tables
AnnoRetrieve: Efficient Structured Retrieval for Unstructured Document Analysis
AnnoRetrieve：面向无结构文档分析的高效结构化检索
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 本文提出AnnoRetrieve，通过结构化注释替代向量嵌入，实现高效精准的语义检索，降低LLM调用频率和成本，提升文档分析的准确性和可扩展性。
Symbolic Predicate-Guided Language Agents for Inverse Design of Perovskite Oxides
用于钙钛矿氧化物逆设计的符号谓词引导语言智能体
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究钙钛矿氧化物逆设计，引入 DSL 引导策略，将自然语言规则转化为符号谓词，开发 ORCHESTRA 框架。该策略能增强 LLM 智能体推理能力，无需大量特定任务数据集或额外训练，提升材料设计性能。
A Roadmap for Tamed Interactions with Large Language Models
与大语言模型进行可控交互的路线图
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究针对大语言模型交互可靠性等问题，提出LLM脚本语言LSL，将其交互构建为可分析程序，通过引入多种抽象支持规范开发，还能外化提示设计，减少隐式推理，为更易维护的提示系统提供基础。
Teacher-Guided Causal Interventions for Image Denoising: Orthogonal Content-Noise Disentanglement in Vision Transformers
教师引导的因果干预用于图像去噪：视觉变换器中的正交内容-噪声解构
机构 * China University of Mining and Technology（中国矿业大学） ； Shandong Normal University（山东师范大学） ； Qilu University of Technology（青岛科技大学）
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 教师引导的因果解构网络通过正交解构提升图像去噪的鲁棒性和效率。
Comments 15 pages, 5 figures, and 5 tables. Revised manuscript. Kuai Jiang and Zhaoyan Ding contributed equally to this work
Intuitionistic Dynamic Logic
直觉主义动态逻辑
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究直觉主义动态逻辑的数学理论，涵盖五种该逻辑。通过开发证明论工具、进行语义研究，建立相关性质与界限。主要贡献为开发演算、获有限模型性质及可判定性、给出直觉主义线性时态逻辑完备公理系统。
Comments PhD Thesis
JW-ASTClaw: A Generalizable Multi-Agent Framework for Autonomous Solar Telescope and Its Implementation within Chinese Meridian Project
JW-ASTClaw：一种用于自主太阳望远镜的通用多智能体框架及其在中国子午工程中的实现
专题命中 逻辑推理 ：reasoning(abstract)
AI总结 研究将大语言模型驱动的自主控制系统部署在太阳望远镜上，采用多智能体框架及解耦三层架构，通过感知智能体编码专业知识，经中央推理引擎处理，实现实时自适应调度，跨季节验证效果良好，提升了观测等多方面能力。
Comments 17 pages, 6 figures,
