Raghothaman, Mukund

3 publications

AAAI 2021 GENSYNTH: Synthesizing Datalog Programs Without Language Bias Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik

IJCAI 2019 Synthesizing Datalog Programs Using Numerical Relaxation Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

NeurIPS 2018 Learning Loop Invariants for Program Verification Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song