CommentsThis submission is withdrawn because the uploaded manuscript does not accurately reflect the intended structure or results. Several components referenced in the text are incomplete or not represented in the PDF, and the current version may mislead readers. The work is therefore withdrawn to maintain clarity of the record
GAPL: Grounded Action-effect Policy Learning for LLM-Based Trajectory Planning
GAPL:面向基于大语言模型的轨迹规划的接地动作效果策略学习
Zhihong Cui, Hengyu Liu, Zhangkai Wu, Yushuai Li, Tianyi Li, Peiyuan Guan, Amir Taherkordi, Tor Skeie
机构
*
University of Oslo(奥斯陆大学)
;
Aalborg University(奥尔堡大学)
;
University of Sydney(悉尼大学)
;
Nanjing University of Information Science and Technology(南京信息工程大学)
;
Simula Research Laboratory(西穆拉研究院)
专题命中
推理与问题求解
:LLM(title,summary_cn);large language model(abstract);language model(abstract)
CommentsCode and data: this https URL (https://github.com/1549080929-debug/math_agent) Keywords: LLM verification; verification autonomy; completeness; ground truth; trustworthy AI Writing and implementation assisted by an AI language model; all experiments, data, and research decisions are the author's own
SPADE: Self-Play in Adaptive Synthetic Executable Environments
SPADE:自适应合成可执行环境中的自博弈
Bo Liu, Simon Yu, Yiding Jiang, Ao Qu, Andrew Zhao, Zichen Liu, Junsu Kim, Zijian Zhou, Seungone Kim, Tongzheng Ren, Mickel Liu, Hanfei Yu, Zhaorun Chen, Weiyan Shi, Paul Pu Liang, Luke Zettlemoyer, Yejin Choi, Natasha Jaques
机构
*
University of Washington(华盛顿大学)
;
Stanford University(斯坦福大学)
;
Northeastern University(东北大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
National University of Singapore(新加坡国立大学)
;
Seoul National University(首尔大学)
;
Stevens Institute of Technology(史蒂文斯理工学院)
;
University of Chicago(芝加哥大学)
Teaching agentic AI to learn expert reasoning for rare disease diagnosis
LiteOdyssey: 一种用于可解释罕见病诊断的轻量级推理AI智能体
Minh-Ha Nguyen, Erica Gray, Bryce A. Schuler, Kevin W. Byram, Chih-Ting Yang, Fan Ma, Hua Xu, Wu-Chen Su, Chao Yan, Wei-Qi Wei, Adam Wright, Lisa Bastarache, Josh F. Peterson, Lingyao Li, Siyuan Ma, Undiagnosed Diseases Network, Rizwan Hamid, Thomas A. Cassini, Cathy Shyr
机构
*
Vanderbilt University(范德堡大学)
;
Vanderbilt University Medical Center(范德堡大学医学中心)
;
University of South Florida(南佛罗里达大学)
专题命中
推理与问题求解
:LLM(abstract);large language model(abstract);language model(abstract);prompting(abstract)
机构
*
University of Moratuwa(莫拉图瓦大学)
;
Singapore-MIT Alliance for Research & Technology (SMART) Centre(新加坡-麻省理工研究与技术联盟(SMART)中心)
;
Agency for Science, Technology and Research (A*STAR)(新加坡科学、技术与研究局(A*STAR))
RTPO: Reverse-Turn Policy Optimization for Stabilizing Agentic RL Training
RTPO:用于稳定智能体强化学习训练的反向回合策略优化
Yugu Li, Jimmy Cao, Jianglin Qiao, Siyi Hu
机构
*
Adelaide University(阿德莱德大学)
;
The University of Sydney(悉尼大学)
;
Curtin University(科廷大学)
;
School of CSIT(计算机科学与信息技术学院)
;
ACFR(澳大利亚空间研究中心)
;
School of EECMS(电子工程、计算机与数学科学学院)
专题命中
推理与问题求解
:large language model(abstract);language model(abstract);分类 cs.AI
机构
*
Tianjin Key Lab of Intelligent Unmanned Swarm Tech & System(天津智能集群技术与系统重点实验室)
;
Tianjin University(天津大学)
;
Institute of Computing and Intelligence(计算与智能研究所)
;
Harbin Institute of Technology (Shenzhen)(哈尔滨工业大学(深圳))
;
Tianjin Artificial Intelligence Innovation Center(天津人工智能创新中心)
;
Defense Innovation Institute Academy of Military Sciences(国防科技创新研究院)
;
School of Future Technology(未来技术学院)
;
Shanghai University(上海大学)
Comments15 pages. Submitted to Formal Methods for Autonomous Systems 2026 (FMAS 2026). Reproducibility artefact: DOI https://doi.org/10.5281/zenodo.21981425