Aaditya Naik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning. | Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong |
| 2024 | ICML | Towards Compositionality in Concept Learning. | Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong |
| 2024 | ICSE | 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 |
| 2023 | ICML | Do Machine Learning Models Learn Statistical Rules Inferred from Data? | Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong |
| 2022 | ICLR | CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. | Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik |
| 2021 | AAAI | GENSYNTH: Synthesizing Datalog Programs without Language Bias. | Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik |
| 2021 | PLDI | Example-guided synthesis of relational queries. | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
| 2021 | UIST | Sporq: An Interactive Environment for Exploring Code using Query-by-Example. | Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman |
| 2020 | CAV | Code2Inv: A Deep Learning Framework for Program Verification. | Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song |