Wesley D. May; Erendan Darr; Kasper Perez. Neuro-Symbolic Task Decomposition With High-Level Planning Guidance for Autonomous LLM Problem Solving. aimls 2026, 1.