Execution-guided within-prompt search for programming-by-example - Verbruggen, Gust; Tiwari, Ashish; Singh, Mukul; Le, Vu; Gulwani, Sumit (International Conference on Learning Representations, 2025)