Mayur Naik
20 papers · 2010–2025 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (40) π Conference Polyglot Β· Silver π Academic Marathon Β· Full π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Grand Slam
π§
Keyword Pioneer
π
Keyword Trendsetter Combo
(3)
π
Keyword Champion
ποΈ
Keyword Collector
(108)
β
The Questioner
π₯
Unstoppable Β· Bronze
π
Renaissance Researcher
(7)
π
Trend Setter
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(15)
Machine Learning
(14)
Core AI
(13)
Deep Learning
(7)
Core Methods
(7)
Optimization & Theory
(7)
Architectures
(6)
Learning Types
(6)
Knowledge & Reasoning
(4)
Representation
(3)
Computer Science
(2)
Learning Paradigms
(2)
Models
(2)
Data Science & Analytics
(1)
Healthcare & Medicine
(1)
Keywords
program synthesis
(6)
graph neural network
(4)
reinforcement learning
(3)
representation learning
(2)
symbolic reasoning
(2)
rule learning
(2)
neuro-symbolic learning
(2)
foundation model
(2)
program analysis
(2)
k-means clustering
(1)
in-context learning
(1)
interpretability
(1)
knowledge representation
(1)
multimodal learning
(1)
decision making
(1)
visual question answering
(1)
program verification
(1)
logical reasoning
(1)
transfer learning
(1)
referring expression
(1)
Papers
DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning
ICML 2025
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
ICLR 2025
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
ICLR 2025
Data-Efficient Learning with Neural Programs
NeurIPS 2024
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
ICML 2024
Relational Programming with Foundational Models
AAAI 2024
Towards Compositionality in Concept Learning
ICML 2024
Do Machine Learning Models Learn Statistical Rules Inferred from Data?
ICML 2023
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
ACL 2023
Learning to Select Pivotal Samples for Meta Re-weighting
AAAI 2023
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation
ICLR 2022
GENSYNTH: Synthesizing Datalog Programs without Language Bias
AAAI 2021
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
NeurIPS 2021
Generating Programmatic Referring Expressions via Program Synthesis
ICML 2020
HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS
ICLR 2020
Learning a Meta-Solver for Syntax-Guided Program Synthesis
ICLR 2019
Learning Neurosymbolic Generative Models via Program Synthesis
ICML 2019
Synthesizing Datalog Programs using Numerical Relaxation
IJCAI 2019
Learning Loop Invariants for Program Verification
NeurIPS 2018
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression
NeurIPS 2010