← Search

Sylvie Thiébaux

5 accepted papers

2026

On the Ability of Transformers to Verify Plans

ICML 2026poster

Transformers have shown inconsistent success in AI planning tasks, and theoretical understanding of when generalization should be expected has been limited. We take important steps towards addressing this gap by analyzing the ability of decoder-only models to verify whether a given plan correctly so…

Cited by 0SourceScholar
2024

Guiding GBFS through Learned Pairwise Rankings

IJCAI 2024poster

We propose a new approach based on ranking to learn to guide Greedy Best-First Search (GBFS). As previous ranking approaches, ours is based on the observation that directly learning a heuristic function is overly restrictive, and that GBFS is capable of efficiently finding good plans for a much more…

2024

Learning Domain-Independent Heuristics for Grounded and Lifted Planning

AAAI 2024technical

We present three novel graph representations of planning tasks suitable for learning domain-independent heuristics using Graph Neural Networks (GNNs) to guide search. In particular, to mitigate the issues caused by large grounded GNNs we present the first method for learning domain-independent heuri…

2023

Heuristic Search for Multi-Objective Probabilistic Planning

AAAI 2023technical

Heuristic search is a powerful approach that has successfully been applied to a broad class of planning problems, including classical planning, multi-objective planning, and probabilistic planning modelled as a stochastic shortest path (SSP) problem. Here, we extend the reach of heuristic search to…