ML Anthology

Hasabnis, Niranjan

1 publications

NeurIPS 2024 Verified Code Transpilation with LLMs Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung