@misc{indiciae8d363464843b,
  title = {NExT: Teaching Large Language Models to Reason about Code Execution},
  author = {Ansong Ni and Miltiadis Allamanis and Arman Cohan and Yinlin Deng and Kensen Shi and Charles Sutton and Pengcheng Yin},
  year = {2024},
  url = {https://arxiv.org/abs/2404.14662},
  note = {Source identifier: 2404.14662}
}