From Actions to Understanding: Conformal Interpretability of Temporal Concepts in LLM Agents
从行为到理解:LLM代理中时间概念的符合可解释性
Trilok Padhi, Ramneet Kaur, Krishiv Agarwal, Adam D. Cobb, Daniel Elenius, Manoj Acharya, Colin Samplawski, Alexander M. Berenbeim, Nathaniel D. Bastian, Susmit Jha, Ugur Kursuncu, Anirban Roy
机构
*
Georgia State University(佐治亚州立大学)
;
Computer Science Lab, SRI(SRI计算机科学实验室)
;
Army Cyber Institute(陆军网络学院)
;
United States Military Academy(美国军事学院)
;
University of Florida(佛罗里达大学)
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
使用信号时序逻辑的字典序最小违规运动规划
Patrick Halder, Lothar Kiltz, Hannes Homburger, Johannes Reuter, Matthias Althoff
机构
*
School of Computation, Information and Technology, Technical University of Munich(慕尼黑技术大学计算信息与技术学院)
;
ZF Friedrichshafen AG(弗赖堡汽车集团)
;
Institute of System Dynamics, HTWG Konstanz(康斯坦茨HTWG系统动力学研究所)
机构
*
Xi’an Jiaotong Univeristy(西安交通大学)
;
Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Chinese Academy of Sciences(中国科学院)
;
Westlake University(西湖大学)
;
Zhejiang University(浙江大学)
;
University of Sydney(悉尼大学)
;
BAAI(百度人工智能研究院)
;
Peking University(北京大学)
CommentsThis work is a re-architected core derived from the full survey (arXiv:2510.10903), refined to highlight the most central themes and representative studies
Language-Guided Generation for Personalized Inspection Planning
语言引导的个性化巡检规划生成
Xingpeng Sun, Zherong Pan, Xifeng Gao, Kui Wu, Aniket Bera
机构
*
Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente(代尔夫特理工大学电子工程、数学和计算机科学学院)
;
Department of Electrical Engineering, Wright State University(电气工程系,怀特州立大学)
Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
混合整数规划的更紧凸松弛:利用逻辑网络流进行任务与运动规划
Xuan Lin, Jiming Ren, Yandong Luo, Weijun Xie, Ye Zhao
机构
*
George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, USA(乔治亚理工学院机械工程学院)
;
Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, USA(乔治亚理工学院工业与系统工程学院)
机构
*
Department of Electrical and Computer Engineering, George Washington University(电气与计算机工程系,乔治华盛顿大学)
;
Department of Mechanical and Aerospace Engineering, George Washington University(机械与航空航天工程系,乔治华盛顿大学)
;
Department of Electrical and Computer Engineering, Northeastern University(电气与计算机工程系,东北大学)