Aaditya Naik
PhD Student
Computer and Information Science
University of Pennsylvania
Email: asnaik@seas.upenn.edu
C.V.
About Me
Welcome to my corner of the internet! I am a Ph.D. student at the University of Pennsylvania, advised by Prof. Mayur Naik. My research focuses on Neurosymbolic Programming, with the goal of enabling foundation models to reason in a reliable and trustworthy manner and applying these capabilities to improve software development in the age of AI. To this end, my work integrates symbolic reasoning directly into ML architectures to enable foundation models to reason about code in a reliable and trustworthy manner.
My research has been supported by the Google PhD Fellowship in Programming Technology and Software Engineering since 2023. I've also had the privilege of working on related problems in the industry. At Microsoft Research, I worked with the RiSE team to develop a test-driven interactive code generation framework. At Oracle, I investigated and improved the capabilities of LLMs for solving constraint-optimization tasks.
Research
My research focuses on developing neurosymbolic frameworks and solutions for addressing challenges in software engineering. Specifically, my research focuses on the following themes:
- Neurosymbolic Frameworks: I have developed frameworks for programming with foundation models, such as Dolphin [ICML 2025] for training and fine-tuning, and TorchQL [OOPSLA 2024] for analyzing and debugging models at inference time.
- Code Reasoning: I have designed neurosymbolic systems for program verification, like Code2Inv [CAV 2020], and program synthesis, like CodeTrek [ICLR 2022].
- Program Synthesis: This line of research includes synthesizing rules over structured data like code in Sporq [UIST 2021] and unstructured data like machine learning datasets in SQRL [ICML 2023]. I have also worked on foundational techniques for program synthesis, like Libra [VLDB 2024], EGS [PLDI 2021], and GenSynth [AAAI 2021].