Mukund Raghothaman
3 papers · 2018–2021 · 3 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(11)
๐ฃ
Hot Topic Early Bird
Venues
Top co-authors
Research topics
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)