Papers
CoT-VLNBench: A Benchmark for Visual Chain-of-Thought Reasoning in Vision-Language-Navigation Robots
Xiao Zhao, Chang Liu, Ruiteng Ji et al.
EvoEmpirBench: Dynamic Spatial Reasoning with Agent-ExpVer
Pukun Zhao, Longxiang Wang, Miaowei Wang et al.
Improved Algorithms for Trip-Vehicle Assignment in Ride-Sharing
Jingyang Zhao, Mingyu Xiao, Yonghang Su
A TSP-Based Algorithm for Multi-League Traveling Tournament
Jingyang Zhao, Mingyu Xiao, Ken-Ichi Kawarabayashi
VipAct: Visual-Perception Enhancement via Specialized VLM Agent Collaboration and Tool-use
Zhehao Zhang, Ryan A. Rossi, Tong Yu et al.
SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search
Yifan Zhang, Giridhar Ganapavarapu, Srideepika Jayaraman et al.
Automating Complex Document Workflows via Stepwise and Rollback-Enabled Operation Orchestration
Yanbin Zhang, Hanhui Ye, Yue Bai et al.
Learning to Optimize Job Shop Scheduling Under Structural Uncertainty
Rui Zhang, Jianwei Niu, Xuefeng Liu et al.
Scalable Solution Methods for Dec-POMDPs with Deterministic Dynamics
Yang You, Alex Schutz, Zhikun Li et al.
Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks
Ruixiao Yang, Chuchu Fan
Breaking Model Lock-in: Cost-Efficient Zero-Shot LLM Routing via a Universal Latent Space
Cheng Yan, Wuyang Zhang, Zhiyuan Ning et al.
Matching Policy Design for Gig Platforms with “Priority” Features
Evan Yifan Xu, Pan Xu
Online Capacitated General Matching with Knapsack
Ruoyu Wu, Wei Bao, Ben Liang et al.
Good-for-MDP State Reduction for Stochastic LTL Planning
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li et al.
History-Aware Reasoning for GUI Agents
Ziwei Wang, Leyang Yang, Xiaoxuan Tang et al.
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction
Marcel Vinzent, Holger Hermanns, Jörg Hoffmann
Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning
Rasmus G. Tollund, Álvaro Torralba
GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets
Jingtao Tang, Hang Ma
Inapproximability of STRIPS Planning
Xing Tan, Alban Grastien
First-Order Representation Languages for Goal-Conditioned RL
Simon Ståhlberg, Hector Geffner
Online Robust Planning Under Model Uncertainty: A Sample-Based Approach
Tamir Shazman, Idan Lev-Yehudi, Ron Benchetrit et al.
HTN Plan Verification by Qualitative Temporal Reasoning
Tobias Schwartz, Diedrich Wolter
Efficient Solution and Learning of Robust Factored MDPs
Yannik Schnitzer, Alessandro Abate, David Parker
Incremental Data-Driven Policy Synthesis via Game Abstractions
Irmak Sağlam, Mahdi Nazeri, Alessandro Abate et al.