LLM-Guided Compositional Program Synthesis. - Ruhma Khan; Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ashish Tiwari 001; Gust Verbruggen (CoRR, 2025)