AutoPlanBench: : Automatically generating benchmarks for LLM planners from PDDL.
Katharina SteinAlexander KollerPublished in: CoRR (2023)
Keyphrases
- automatically generating
- planning domains
- international planning competition
- derived predicates
- ai planning
- temporal planning
- planning problems
- planning systems
- automatically generated
- domain independent
- orders of magnitude
- temporal planner
- automated planning
- mutual exclusion
- heuristic search
- durative actions
- search strategies
- definition language
- classical planning
- plan generation
- benchmark suite
- optimal planning
- model checking
- integer programming
- partial order
- english words
- planning process
- sat encodings
- planning graph
- action models
- state space
- web service composition
- temporal constraints
- domain specific