Aaditya Naik

According to our database, Aaditya Naik authored at least 15 papers between 2020 and 2024.

Collaborative distances:

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

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., September, 2024

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning.

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

Proc. ACM Program. Lang., 2024

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning.

Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong

CoRR, 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

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Towards Compositionality in Concept Learning.

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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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