@misc{indiciae120fd8ee5bc7,
  title = {Validated Code Translation for Projects with External Libraries},
  author = {Hanliang Zhang and Arindam Sharma and Cristina David and Meng Wang and Brandon Paulsen and Daniel Kroening and Wenjia Ye and Taro Sekiyama},
  year = {2026},
  url = {https://arxiv.org/abs/2602.18534},
  note = {Source identifier: 2602.18534}
}