Mukund Raghothaman
3 papers
· 2018–2021
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(12)
π
Trend Setter
Conferences
AAAI (1)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
program synthesis
(2)
decision making
(1)
program verification
(1)
numerical optimization
(1)
continuous optimization
(1)
rule learning
(1)
evolutionary algorithm
(1)
evolutionary search
(1)
logic programming
(1)
inductive logic programming
(1)
datalog program
(1)
numerical relaxation
(1)
recursive rule
(1)
loop invariant
(1)
knowledge discovery
(1)
graph neural network
(1)
datalog program synthesis
(1)
logic program learning
(1)
relational query learning
(1)
logical rule learning
(1)