Felipe Meneguzzi

LeanPlan: Optimal Planning with LLM-Generated Heuristics and Admissibility Proofs

Frontier large language models (LLMs) can generate heuristic functions that guide search to achieve state-of-the-art performance in satisficing planning, where any plan is acceptable. However, these heuristics are not guaranteed to be admissible and can lead to suboptimal plans. We introduce LeanPlan, the first plannin...