Aaditya Naik

According to our database, Aaditya Naik authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Relational Query Synthesis ⋈ Decision Tree Learning.

Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik

Proc. VLDB Endow., 2023

MDB: Interactively Querying Datasets and Models.

Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik

CoRR, 2023

Do Machine Learning Models Learn Common Sense?

Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

CoRR, 2023

Do Machine Learning Models Learn Statistical Rules Inferred from Data?

Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

Proceedings of the International Conference on Machine Learning, 2023

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

CoRR, 2022

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.

Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Sporq: An Interactive Environment for Exploring Code using Query-by-Example.

Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Example-guided synthesis of relational queries.

Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

GENSYNTH: Synthesizing Datalog Programs without Language Bias.

Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020