Mayur Naik
20 papers · 2010–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π§ Keyword Pioneer π Interdisciplinary Bridge π Renaissance Researcher (6) πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(12)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Keyword Champion
π
Grand Slam
ποΈ
Keyword Collector
(78)
π
Trend Setter
π
Century Club
(20)
π₯
Unstoppable
(8)
β
The Questioner
Conferences
ICML (6)
ICLR (5)
NIPS (4)
AAAI (3)
ACL (1)
IJCAI (1)
Top co-authors
Keywords
program synthesis
(5)
symbolic reasoning
(2)
rule learning
(2)
reinforcement learning
(1)
k-means clustering
(1)
feature selection
(1)
decision making
(1)
logical reasoning
(1)
visual question answering
(1)
in-context learning
(1)
knowledge representation
(1)
multimodal learning
(1)
test-time adaptation
(1)
referring expression
(1)
program verification
(1)
image generation
(1)
neuro-symbolic
(1)
scene graph
(1)
weak supervision
(1)
representation learning
(1)
Papers
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
ICLR 2025
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
ICLR 2025
DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning
ICML 2025
Relational Programming with Foundational Models
AAAI 2024
Data-Efficient Learning with Neural Programs
NIPS 2024
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
ICML 2024
Towards Compositionality in Concept Learning
ICML 2024
Do Machine Learning Models Learn Statistical Rules Inferred from Data?
ICML 2023
Learning to Select Pivotal Samples for Meta Re-weighting
AAAI 2023
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
ACL 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
NIPS 2021
HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS
ICLR 2020
Generating Programmatic Referring Expressions via Program Synthesis
ICML 2020
Synthesizing Datalog Programs using Numerical Relaxation
IJCAI 2019
Learning a Meta-Solver for Syntax-Guided Program Synthesis
ICLR 2019
Learning Neurosymbolic Generative Models via Program Synthesis
ICML 2019
Learning Loop Invariants for Program Verification
NIPS 2018
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression
NIPS 2010