Recursive Synthesis for Long-Horizon Terminal Tasks | ResearchPod