Code2Inv: A Deep Learning Framework for Program Verification. - Xujie Si; Aaditya Naik; Hanjun Dai; Mayur Naik; Le Song (CAV (2), 2020)

GENSYNTH: Synthesizing Datalog Programs without Language Bias. - Jonathan Mendelson; Aaditya Naik; Mukund Raghothaman; Mayur Naik (AAAI, 2021)

Example-guided synthesis of relational queries. - Aalok Thakkar; Aaditya Naik; Nathaniel Sands; Rajeev Alur; Mayur Naik; Mukund Raghothaman (PLDI, 2021)

Sporq: An Interactive Environment for Exploring Code using Query-by-Example. - Aaditya Naik; Jonathan Mendelson; Nathaniel Sands; Yuepeng Wang 001; Mayur Naik; Mukund Raghothaman (UIST, 2021)

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. - Pardis Pashakhanloo; Aaditya Naik; Yuepeng Wang 001; Hanjun Dai; Petros Maniatis; Mayur Naik (ICLR, 2022)

Interactive Code Generation via Test-Driven User-Intent Formalization. - Shuvendu K. Lahiri; Aaditya Naik; Georgios Sakkas; Piali Choudhury; Curtis von Veh; Madanlal Musuvathi; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001 (CoRR, 2022)

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

Do Machine Learning Models Learn Common Sense? - Aaditya Naik; Yinjun Wu; Mayur Naik; Eric Wong 001 (CoRR, 2023)

MDB: Interactively Querying Datasets and Models. - Aaditya Naik; Adam Stein; Yinjun Wu; Eric Wong 001; Mayur Naik (CoRR, 2023)

Relational Query Synthesis ⋈ Decision Tree Learning. - Aaditya Naik; Aalok Thakkar; Adam Stein; Rajeev Alur; Mayur Naik (Proc. VLDB Endow., 2023)

Towards Compositionality in Concept Learning. - Adam Stein; Aaditya Naik; Yinjun Wu; Mayur Naik; Eric Wong 001 (ICML, 2024)

Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Madan Musuvathi; Shuvendu K. Lahiri (ICSE Companion, 2024)

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning. - Aaditya Naik; Jason Liu; Claire Wang; Saikat Dutta 001; Mayur Naik; Eric Wong 001 (CoRR, 2024)

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. - Aaditya Naik; Adam Stein; Yinjun Wu; Mayur Naik; Eric Wong 001 (Proc. ACM Program. Lang., 2024)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Shuvendu K. Lahiri (IEEE Trans. Software Eng., 2024)

Where's the Bug? Attention Probing for Scalable Fault Localization. - Adam Stein; Arthur Wayne; Aaditya Naik; Mayur Naik; Eric Wong 001 (CoRR, 2025)

The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models. - Adam Stein; Aaditya Naik; Neelay Velingker; Mayur Naik; Eric Wong 001 (CoRR, 2025)