Bhatia, Sahil

3 publications

NeurIPS 2024 Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. González, Elizabeth Polgreen, Sanjit A. Seshia

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

NeurIPSW 2020 Oasis: ILP-Guided Synthesis of Loop Invariants Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain