Pereira, A. G., Corrêa, A. B., Meneguzzi, F., & Seipp, J. (2026). LeanPlan: التخطيط الأمثل بالاستدلالات المولّدة بالنماذج اللغوية الكبيرة وبراهين القبول. https://omanscience.com/ar/articles/leanplan-optimal-planning-with-llm-generated-heuristics-and-admissibility-proofs