TacReasoner: A Dynamic Tactile-Language Framework for Interactive Reasoning in Real-World Scenarios
TacReasoner：面向真实场景交互推理的动态触觉-语言框架
Kailin Lyu, Di Wu, Long Xiao, Jianning Zeng, Jianwei He, Chang Lin, Lianyu Hu, Lin Shu, Jie Hao, Ce Hao
机构
*
Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
；
Beijing Zhongguancun Academy（北京中关村科学城）
；
Nanyang Technological University（南洋理工大学）
；
Guangdong Institute of Artificial Intelligence and Advanced Computing（广东省人工智能与先进计算研究院）
机构
*
Zhejiang University（浙江大学）
；
Ant Group（蚂蚁集团）
；
City University of Hong Kong（香港城市大学）
；
College of Artificial Intelligence, Shanghai Institute for Advanced Study, Zhejiang University（浙江大学上海高等研究院人工智能学院）
；
School of Earth Sciences, Zhejiang University（浙江大学地球科学学院）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.AI
Teaching Code LLMs to Reason with Intermediate Formal Specifications
使用中间形式规范训练代码语言模型进行推理
Minh Le-Anh, Cuong Chi Le, Tien N. Nguyen
机构
*
FPT Software AI Center（FPT软件人工智能中心）
；
University of Texas at Dallas（德克萨斯大学达拉斯分校）
；
Hanoi Univ. of Science and Tech.（河内科学技术大学）
；
Texas, USA（得克萨斯州，美国）
；
Hanoi, Vietnam（河内，越南）
DDIAgents: Mechanism-Conditioned Context Flow for Drug-Drug Interaction Prediction
DDIAgents: 机制条件上下文流用于药物相互作用预测
Zhenqian Shen, Yu Liu, Xiaoyi Fu, Quanming Yao
机构
*
Department of Electronic Engineering, Tsinghua University（清华大学电子工程系）
；
Institute of Biomedical Engineering, University of Oxford（牛津大学生物医学工程研究所）
；
Division of Emerging Interdisciplinary Areas, Hong Kong University of Science and Technology（香港科技大学新兴跨学科领域学部）
Certified Speculative Execution for Untrusted AI Agents
不可信AI代理的认证推测执行
Chenyu Zhou, Qiliang Jiang, Shuning Wu, Xu Zhou
机构
*
School of Engineering, Institute of Science Tokyo, Japan（东京科学大学工学院）
；
College of Control Science and Engineering, Zhejiang University, China（浙江大学控制科学与工程学院）
；
Department of Electrical and Computer Engineering, National University of Singapore, Singapore（新加坡国立大学电气与计算机工程系）
ToE: A Hierarchical and Explainable Claim Verification Framework with Dynamic Multi-source Evidence Retrieval and Aggregation
ToE：一种具有动态多源证据检索与聚合的分层可解释声明验证框架
Zhaoqi Wang, Zijian Zhang, Kun Zheng, Zhen Li, Xin Li, Chunlei Li, Jiamou Liu
机构
*
School of Cyberspace Science and Technology, Beijing Institute of Technology（北京理工大学信息科学与技术学院）
；
TravelSky Technology Limited（TravelSky技术有限公司）
；
School of Computer Science, University of Auckland（奥克兰大学计算机科学学院）
专题命中
推理与问题求解
：LLM(abstract,abstract_cn)；分类 cs.AI
AI总结
提出Tree of Evidence (ToE)框架，通过强化学习驱动的多源检索、证据评估和参数树聚合，实现可解释的自动事实核查，在多个数据集上提升4-24个百分点，尤其对抗性毒化输入效果显著。
A Process Harness for Uplifting Legacy Workflows to Agentic BPM: Design and Realization in CUGA FLO
一种将遗留工作流提升为智能体BPM的过程驾驭框架：在CUGA FLO中的设计与实现
Fabiana Fournier, Lior Limonad
机构
*
IBM SIL, Israel（IBM 研究实验室，以色列）
；
Department of Information Systems, Faculty of Computer & Information Sciences, University of Haifa（海法大学计算机与信息科学学院信息系统系）
机构
*
The Hong Kong Polytechnic University（香港理工大学）
；
Meituan Longcat Team（美团龙猫团队）
；
Peking University（北京大学）
；
Nanjing University of Science and Technology（南京理工大学）
机构
*
College of Artificial Intelligence, Nanjing Agricultural University（南京农业大学人工智能学院）
；
School of Computer Science and Engineering, Nanjing University of Science and Technology（南京理工大学计算机科学与工程学院）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.CL
UniDrive: A Unified Vision-Language and Grounding Framework for Interpretable Risk Understanding in Autonomous Driving
UniDrive: 面向自动驾驶可解释风险理解的统一视觉-语言与定位框架
Xiaowei Gao, Pengxiang Li, Yitai Cheng, Ruihan Xu, James Haworth, Stephen Law, Yun Ye
机构
*
organization= Department of Earth Science \& Engineering, Imperial College London , city= London , postcode= SW7 2AZ , country= United Kingdom
；
organization= SpaceTimeLab, Department of Civil, Environmental
；
Geomatic Engineering, University College London , city= London , postcode= WC1E 6BT , country= United Kingdom
；
organization= Department of Computing, The Hong Kong Polytechnic University , city= Hong Kong , country= China
；
organization= Trinity College, University of Oxford , city= Oxford , postcode= OX1 3BH , country= United Kingdom
；
organization= Department of Geography, University College London , city= London , postcode= WC1E 6BT , country= United Kingdom
；
organization= Centre for Global Infrastructure Resilience, The Bartlett School of Sustainable Construction, University College London , city= London , postcode= WC1E 7HB , country= United Kingdom
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.AI
机构
*
The Chinese University of Hong Kong（香港中文大学）
；
Xiamen University（厦门大学）
；
Kling Team, Kuaishou Technology（快手科技Kling团队）
；
National University of Singapore（新加坡国立大学）
；
Southern University of Science and Technology（南方科技大学）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.AI
