Imagen de Portada

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Suprun, Yuliia, Elimelech, Khen, Kavraki, Lydia E., Vardi, Moshe Y.
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
por: Elimelech, Khen, et al.
Publicado: (2024)

Falsification of Autonomous Systems in Rich Environments
por: Elimelech, Khen, et al.
Publicado: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
por: Aminof, Benjamin, et al.
Publicado: (2024)

Task and Motion Planning for Execution in the Real
por: Pan, Tianyang, et al.
Publicado: (2024)

LTLf Synthesis Under Unreliable Input
por: Hagemeier, Christian, et al.
Publicado: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
por: Xiao, Shengping, et al.
Publicado: (2024)

TIDE: Temporal Incremental Draft Engine for Self-Improving LLM Inference
por: Park, Jiyoung, et al.
Publicado: (2026)

Incremental LTLf Synthesis
por: De Giacomo, Giuseppe, et al.
Publicado: (2026)

Stochastic Games for Interactive Manipulation Domains
por: Muvvala, Karan, et al.
Publicado: (2024)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
por: Chen, Dillon Z., et al.
Publicado: (2025)

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
por: Rosa, Giacomo, et al.
Publicado: (2026)

TIDE : Temporal-Aware Sparse Autoencoders for Interpretable Diffusion Transformers in Image Generation
por: Huang, Victor Shea-Jay, et al.
Publicado: (2025)

TIDE-Bench: Task-Aware and Diagnostic Evaluation of Tool-Integrated Reasoning
por: Li, Yize, et al.
Publicado: (2026)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
por: Micheli, Andrea, et al.
Publicado: (2026)

Extending CDCL-based Model Enumeration with Weights
por: Spallitta, Giuseppe, et al.
Publicado: (2026)

Multi-Property Synthesis
por: Weinhuber, Christoph, et al.
Publicado: (2026)

TIDE: Tuning-Integrated Dynamic Evolution for LLM-Based Automated Heuristic Design
por: Chen, Chentong, et al.
Publicado: (2026)

TIDE: Trajectory-based Diagnostic Evaluation of Test-Time Improvement in LLM Agents
por: Yan, Hang, et al.
Publicado: (2026)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
por: Zhang, Zhiwei, et al.
Publicado: (2025)

Towards Robust Argumentative Essay Understanding via TIDE: An Interactive Framework with Trial and Debate
por: Yin, Zheqin, et al.
Publicado: (2026)

TIDE: Every Layer Knows the Token Beneath the Context
por: Jaiswal, Ajay, et al.
Publicado: (2026)

Classifying Overlapping Gaussian Mixtures in High Dimensions: From Optimal Classifiers to Neural Nets
por: Cohen, Khen, et al.
Publicado: (2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
por: Blümel, Lydia, et al.
Publicado: (2024)

Boltzmann-based Exploration for Robust Decentralized Multi-Agent Planning (Extended Version)
por: Nguyen, Nhat D. A., et al.
Publicado: (2026)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
por: Shalyt, Michael, et al.
Publicado: (2025)

A Planning Compilation to Reason about Goal Achievement at Planning Time
por: Pozanco, Alberto, et al.
Publicado: (2025)

Fragile Preferences: A Deep Dive Into Order Effects in Large Language Models
por: Yin, Haonan, et al.
Publicado: (2025)

Automata Linear Dynamic Logic on Finite Traces
por: Smith, Kevin W., et al.
Publicado: (2021)

Goal Exploration via Adaptive Skill Distribution for Goal-Conditioned Reinforcement Learning
por: Wu, Lisheng, et al.
Publicado: (2024)

Tracing the Traces: Latent Temporal Signals for Efficient and Accurate Reasoning
por: Vilas, Martina G., et al.
Publicado: (2025)

Depth-Bounded Epistemic Planning
por: Bolander, Thomas, et al.
Publicado: (2024)

First-Order Representation Languages for Goal-Conditioned RL
por: Ståhlberg, Simon, et al.
Publicado: (2025)

SONAR: Spectral-Contrastive Audio Residuals for Generalizable Deepfake Detection
por: HIdekel, Ido Nitzan, et al.
Publicado: (2025)

Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
por: Ringstrom, Thomas J., et al.
Publicado: (2020)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
por: Lee, Isabelle, et al.
Publicado: (2025)

Goal-Space Planning with Subgoal Models
por: Lo, Chunlok, et al.
Publicado: (2022)

Proposing Hierarchical Goal-Conditioned Policy Planning in Multi-Goal Reinforcement Learning
por: Rens, Gavin B.
Publicado: (2025)

Plan-MCTS: Plan Exploration for Action Exploitation in Web Navigation
por: Zhang, Weiming, et al.
Publicado: (2026)

Expedition & Expansion: Leveraging Semantic Representations for Goal-Directed Exploration in Continuous Cellular Automata
por: Khajehabdollahi, Sina, et al.
Publicado: (2025)

Fuzzy Categorical Planning: Autonomous Goal Satisfaction with Graded Semantic Constraints
por: Qu, Shuhui
Publicado: (2026)