@misc{indiciae4e459802af6f,
  title = {Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)},
  author = {Benjamin Mariano and Yanju Chen and Yu Feng and Greg Durrett and Isil Dillig},
  year = {2022},
  url = {https://arxiv.org/abs/2203.09452},
  note = {Source identifier: 2203.09452}
}