TY  - RPRT
TI  - Scalable, Validated Code Translation of Entire Projects using Large Language Models
AU  - Hanliang Zhang
AU  - Cristina David
AU  - Meng Wang
AU  - Brandon Paulsen
AU  - Daniel Kroening
PY  - 2024
UR  - https://arxiv.org/abs/2412.08035
ID  - 2412.08035
ER  -