Verified Code Transpilation with LLMs - Bhatia, Sahil; Qiu, Jie; Hasabnis, Niranjan; Seshia, Sanjit A.; Cheung, Alvin (Advances in Neural Information Processing Systems, 2024)