projects
LLM-Generated Heuristics for Classical Planning
We use LLMs to generate Python heuristic functions for classical planning, studying how to integrate LLM-generated code into planning systems while preserving formal correctness guarantees. Published at NeurIPS 2025. Code available on Zenodo.
Powerlifted: A Lifted Classical Planning System
Powerlifted is a classical planner that plans directly over PDDL representations. In other words, it does not ground the planning problems. Powerlifted is based on heuristic search, and it has different search algorithms and proceedings implemented on top of it.
Grounding Infrastructure for Planning
- htg-domains: A collection of hard-to-ground (HTG) classical planning domains from many different sources.
- Grounders for planning: Different grounders that output (relaxed) reachable actions and atoms, with a Fast Downward integration.
- CounterAction: A tool for counting actions without grounding.