Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama: Validated Code Translation for Projects with External Libraries. CoRR abs/2602.18534 (2026)