CommentsPreprint. Accepted at NeurIPS 2025 Workshops on SPACE in Vision, Language, and Embodied AI (SpaVLE) as Oral, Embodied World Models for Decision Making (EWM), Aligning Reinforcement Learning Experimentalists and Theorists (ARLET), and Scaling Environments for Agents (SEA)
CommentsPublished at SURGeLLM 2026, ACL 2026. Camera-ready version
Journal refProceedings of the First Workshop on Structured Understanding, Retrieval, and Generation in the LLM Era (SURGeLLM 2026), pp. 132-151, Association for Computational Linguistics, 2026
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(河内,越南)
BioProVLA-Agent: An Affordable, Protocol-Driven, Vision-Enhanced VLA-Enabled Embodied Multi-Agent System with Closed-Loop-Capable Reasoning for Biological Laboratory Manipulation
Zhaohui Du, Zhe Wang, Dongzhan Zhou, Minting Pan, Hongmei Fei, Xiwen Cao, Ting Xiao, Qi Wang, Huanbo Jin, Jiaming Gu, Quan Lu, Zhe Liu
机构
*
Key Laboratory of Smart Manufacturing in Energy Chemical Process Ministry of Education, East China University of Science and Technology, Shanghai, CN(能源化工过程智能制造教育部重点实验室,东华大学,上海,中国)
;
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, CN(东华大学计算机科学与工程系,上海,中国)
;
Department of Laboratory Medicine, Ruijin Hospital, Shanghai Jiao Tong University School of Medicine, Shanghai, CN(复旦大学附属瑞金医院检验医学科,上海,中国)
;
School of Information Science and Technology, Shihezi University, Shihezi, CN(石河子大学信息科学与技术学院,石河子,中国)