TY  - RPRT
TI  - Validated Code Translation for Projects with External Libraries
AU  - Hanliang Zhang
AU  - Arindam Sharma
AU  - Cristina David
AU  - Meng Wang
AU  - Brandon Paulsen
AU  - Daniel Kroening
AU  - Wenjia Ye
AU  - Taro Sekiyama
PY  - 2026
UR  - https://arxiv.org/abs/2602.18534
ID  - 2602.18534
ER  -