Aaditya Naik

21 papers A* 7Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
On Improving Neurosymbolic Learning by Exploiting the Representation Space.
CoRR
Aaditya Naik, Efthymia Tsamoura, Shibo Jin, Mayur Naik, Dan Roth
2025 A* conf
DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning.
ICML
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong
2025 J jnl
The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models.
CoRR
Adam Stein, Aaditya Naik, Neelay Velingker, Mayur Naik, Eric Wong
2025 J jnl
Where's the Bug? Attention Probing for Scalable Fault Localization.
CoRR
Adam Stein, Arthur Wayne, Aaditya Naik, Mayur Naik, Eric Wong
2024 J jnl
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning.
CoRR
Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong
2024 — conf
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024 J jnl
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation.
IEEE Trans. Software Eng.
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 J jnl
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
CoRR
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 J jnl
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning.
Proc. ACM Program. Lang.
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong
2024 A* conf
Towards Compositionality in Concept Learning.
ICML
Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2024 J jnl
Towards Compositionality in Concept Learning.
CoRR
Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 J jnl
Do Machine Learning Models Learn Common Sense?
CoRR
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 A* conf
Do Machine Learning Models Learn Statistical Rules Inferred from Data?
ICML
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 J jnl
MDB: Interactively Querying Datasets and Models.
CoRR
Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
2023 J jnl
Relational Query Synthesis ⋈ Decision Tree Learning.
Proc. VLDB Endow.
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
2022 A* conf
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.
ICLR
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
2022 J jnl
Interactive Code Generation via Test-Driven User-Intent Formalization.
CoRR
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
2021 A* conf
Example-guided synthesis of relational queries.
PLDI
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2021 A* conf
GENSYNTH: Synthesizing Datalog Programs without Language Bias.
AAAI
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
2021 A* conf
Sporq: An Interactive Environment for Exploring Code using Query-by-Example.
UIST
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
2020 — conf
Code2Inv: A Deep Learning Framework for Program Verification.
CAV (2)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song