PolyDroid: Learning-Driven Specialization of Mobile Applications. - Brian Heath; Neelay Velingker; Osbert Bastani; Mayur Naik (CoRR, 2019)

Relational Programming with Foundational Models. - Ziyang Li; Jiani Huang; Jason Liu; Felix Zhu; Eric Zhao 007; William Dodds; Neelay Velingker; Rajeev Alur; Mayur Naik (AAAI, 2024)

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. - Yinjun Wu; Mayank Keoliya; Kan Chen; Neelay Velingker; Ziyang Li; Emily J. Getzen; Qi Long; Mayur Naik; Ravi B. Parikh; Eric Wong 001 (ICML, 2024)

Data-Efficient Learning with Neural Programs. - Alaia Solko-Breslin; Seewon Choi; Ziyang Li; Neelay Velingker; Rajeev Alur; Mayur Naik; Eric Wong 001 (NeurIPS, 2024)

Relational Programming with Foundation Models. - Ziyang Li; Jiani Huang; Jason Liu; Felix Zhu; Eric Zhao 007; William Dodds; Neelay Velingker; Rajeev Alur; Mayur Naik (CoRR, 2024)

The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models. - Adam Stein; Aaditya Naik; Neelay Velingker; Mayur Naik; Eric Wong 001 (CoRR, 2025)