@misc{pereira-et-al-arxiv2026b,
  author       = {Andr{\'e} G. Pereira and Augusto B. Corr{\^e}a and Felipe Meneguzzi and
    Jendrik Seipp},
  title        = {{LeanPlan}: Optimal Planning with {LLM}-Generated Heuristics and
    Admissibility Proofs},
  howpublished = {arXiv:2610.08246 [cs.AI]},
  year         = 2026,
}