[Guest] Ajaykrishna Karthikeyan (ajaykrishna-karthikeyan), Naman Jain, Nagarajan Natarajan, Prateek Jain
Transactions on Machine Learning Research |
September 2022
Publication
Github
项目
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Publication
Github
项目
Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
Publication
项目
Aadirupa Saha, Nagarajan Natarajan, Praneeth Netrapalli, Prateek Jain
2021 International Conference on Machine Learning | July 2021
PDF
Publication
项目
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
PDF
DOI
项目