PPaperPicks

Mayur Naik

12 papers at tracked venues · 11 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICML ×3NeurIPS ×3ICLR ×2AAAI ×1FSE ×1OOPSLA ×1USENIX Security ×1

Frequent coauthors

Ziyang Li
×7
Eric Wong
×6
Neelay Velingker
×5
Aaditya Naik
×3
Jiani Huang
×3
Adam Stein
×3
Yinjun Wu
×3
Rajeev Alur
×3
Jason Liu
×2
Amish Sethi
×2
Saikat Dutta
×2
Mayank Keoliya
×2

Papers

  1. DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning
    ICML 2025 ·
    Aaditya Naik
    ,
    Jason Liu
    ,
    Claire Wang
    ,
    Amish Sethi
    ,
    Saikat Dutta
    , Mayur Naik,
    Eric Wong
  2. ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
    NeurIPS 2025 ·
    Jiani Huang
    ,
    Amish Sethi
    ,
    Matthew Kuo
    ,
    Mayank Keoliya
    ,
    Neelay Velingker
    ,
    JungHo Jung
    ,
    Ser Nam Lim
    ,
    Ziyang Li
    , Mayur Naik
  3. IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
    ICLR 2025 ·
    Ziyang Li
    ,
    Saikat Dutta
    , Mayur Naik
  4. LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
    ICLR 2025 ·
    Jiani Huang
    ,
    Ziyang Li
    , Mayur Naik,
    Ser-Nam Lim
  5. Once Upon an Input: Reasoning via Per-Instance Program Synthesis
    NeurIPS 2025 ·
    Adam Stein
    ,
    Neelay Velingker
    , Mayur Naik,
    Eric Wong
  6. DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
    ICML 2024 ·
    Yinjun Wu
    ,
    Mayank Keoliya
    ,
    Kan Chen
    ,
    Neelay Velingker
    ,
    Ziyang Li
    ,
    Emily J. Getzen
    ,
    Qi Long
    , Mayur Naik,
    Ravi B. Parikh
    ,
    Eric Wong
  7. Data-Efficient Learning with Neural Programs
    NeurIPS 2024 ·
    Alaia Solko-Breslin
    ,
    Seewon Choi
    ,
    Ziyang Li
    ,
    Neelay Velingker
    ,
    Rajeev Alur
    , Mayur Naik,
    Eric Wong
  8. Inferring Natural Preconditions via Program Transformation
    FSE 2024 ·
    Elizabeth Dinella
    ,
    Shuvendu K. Lahiri
    , Mayur Naik
  9. Relational Programming with Foundational Models
    AAAI 2024 ·
    Ziyang Li
    ,
    Jiani Huang
    ,
    Jason Liu
    ,
    Felix Zhu
    ,
    Eric Zhao
    ,
    William Dodds
    ,
    Neelay Velingker
    ,
    Rajeev Alur
    , Mayur Naik
  10. TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
    USENIX Security 2024 ·
    Chang Zhu
    ,
    Ziyang Li
    ,
    Anton Xue
    ,
    Ati Priya Bajaj
    ,
    Wil Gibbs
    ,
    Yibo Liu
    ,
    Rajeev Alur
    ,
    Tiffany Bao
    ,
    Hanjun Dai
    ,
    Adam Doupé
    , Mayur Naik,
    Yan Shoshitaishvili
    ,
    Ruoyu Wang
    ,
    Aravind Machiry
  11. TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
    OOPSLA 2024 ·
    Aaditya Naik
    ,
    Adam Stein
    ,
    Yinjun Wu
    , Mayur Naik,
    Eric Wong
  12. Towards Compositionality in Concept Learning
    ICML 2024 ·
    Adam Stein
    ,
    Aaditya Naik
    ,
    Yinjun Wu
    , Mayur Naik,
    Eric Wong