Mayur Naik

Venues

Frequent coauthors

Papers

1. DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning
   ICML 2025 ·

   Aaditya Naik

   DBLP profile ↗ORCID search ↗
2. ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
   NeurIPS 2025 ·

   Jiani Huang

   DBLP profile ↗ORCID search ↗
3. IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
   ICLR 2025 ·

   Ziyang Li

   DBLP profile ↗ORCID search ↗
4. LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
   ICLR 2025 ·

   Jiani Huang

   DBLP profile ↗ORCID search ↗
5. Once Upon an Input: Reasoning via Per-Instance Program Synthesis
   NeurIPS 2025 ·

   Adam Stein

   DBLP profile ↗ORCID search ↗
6. DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
   ICML 2024 ·

   Yinjun Wu

   DBLP profile ↗ORCID search ↗
7. Data-Efficient Learning with Neural Programs
   NeurIPS 2024 ·

   Alaia Solko-Breslin

   DBLP profile ↗ORCID search ↗
8. Relational Programming with Foundational Models
   AAAI 2024 ·

   Ziyang Li

   DBLP profile ↗ORCID search ↗
9. Towards Compositionality in Concept Learning
   ICML 2024 ·

   Adam Stein

   DBLP profile ↗ORCID search ↗