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

arXiv:2610.08246v1 Announce Type: new Abstract: 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 ar