EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths - Li, Zhening; Solar-Lezama, Armando; Yue, Yisong; Zheng, Stephan (Advances in Neural Information Processing Systems, 2025)