@article{attentioncompilationandsolverbased,
  title = {CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution},
  author = {Prithwish Jana and Piyush Jha and Haoyang Ju and Gautham Kishore and Aryan Mahajan and Vijay Ganesh},
  year = {2023},
  eprint = {2306.06755},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.06755v4},
}