Bug Detector
[SEMO Lab] ADAPT: As-Needed Decomposition and Planning with Language Models