@misc{indiciaef9f6466e1d71,
  title = {EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths},
  author = {Zhening Li and Armando Solar-Lezama and Yisong Yue and Stephan Zheng},
  year = {2025},
  url = {https://arxiv.org/abs/2512.03571},
  note = {Source identifier: 2512.03571}
}