Naik, Mayur

30 publications

ICML 2025 DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong

NeurIPS 2025 ESCA: Contextualizing Embodied Agents via Scene-Graph Generation Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik

ICLR 2025 IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities Ziyang Li, Saikat Dutta, Mayur Naik

ICLR 2025 LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim

NeurIPS 2025 Once upon an Input: Reasoning via Per-Instance Program Synthesis Adam Stein, Neelay Velingker, Mayur Naik, Eric Wong

ICMLW 2024 CLAM: Unifying Finetuning, Quantization, and Pruning by Chaining LLM Adapter Modules Neelay Velingker, Jason Liu, Amish Sethi, William Dodds, Zhiqiu Xu, Saikat Dutta, Mayur Naik, Eric Wong

ICML 2024 DISCRET: Synthesizing Faithful Explanations for Treatment Effect Estimation Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J Getzen, Qi Long, Mayur Naik, Ravi B Parikh, Eric Wong

NeurIPS 2024 Data-Efficient Learning with Neural Programs Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

AAAI 2024 Relational Programming with Foundational Models Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

ICML 2024 Towards Compositionality in Concept Learning Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

ICML 2023 Do Machine Learning Models Learn Statistical Rules Inferred from Data? Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

AAAI 2023 Learning to Select Pivotal Samples for Meta Re-Weighting Yinjun Wu, Adam Stein, Jacob R. Gardner, Mayur Naik

NeurIPSW 2023 Rectifying Group Irregularities in Explanations for Distribution Shift Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik

ICLR 2022 CodeTrek: Flexible Modeling of Code Using an Extensible Relational Representation Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

ICMLW 2022 Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming Hanlin Zhang, Ziyang Li, Jiani Huang, Mayur Naik, Eric Xing

ICLRW 2022 Learning to Walk over Relational Graphs of Source Code Pardis Pashakhanloo, Aaditya Naik, Hanjun Dai, Petros Maniatis, Mayur Naik

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

NeurIPSW 2021 Numerical Reasoning over Legal Contracts via Relational Database Jiani Huang, Ziyang Li, Ilias Fountalis, Mayur Naik

NeurIPS 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

NeurIPSW 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

ICML 2020 Generating Programmatic Referring Expressions via Program Synthesis Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik

ICLR 2020 Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang

ICML 2019 Learning Neurosymbolic Generative Models via Program Synthesis Halley Young, Osbert Bastani, Mayur Naik

ICLRW 2019 Learning Neurosymbolic Generative Models via Program Synthesis Halley Young, Osbert Bastani, Mayur Naik

ICLR 2019 Learning a Meta-Solver for Syntax-Guided Program Synthesis Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song

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

AAAI 2016 Scaling Relational Inference Using Proofs and Refutations Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik

NeurIPS 2010 Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression Ling Huang, Jinzhu Jia, Bin Yu, Byung-gon Chun, Petros Maniatis, Mayur Naik

ICML 2006 Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken