Isil Dillig
10 papers
· 2020–2025
· 5 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(21)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Cross-Pollinator
(9)
π
Trend Setter
π
Century Club
(10)
Conferences
ICLR (4)
NIPS (3)
AAAI (1)
ACL (1)
EMNLP (1)
Top co-authors
Keywords
program synthesis
(3)
automated reasoning
(2)
multimodal learning
(2)
large language model
(2)
constraint solving
(1)
preference learning
(1)
semantic parsing
(1)
syntax parsing
(1)
formal verification
(1)
robot behavior
(1)
continuous state space
(1)
natural language
(1)
safe reinforcement learning
(1)
domain-specific language
(1)
neuro-symbolic computing
(1)
visual demonstration
(1)
visual parsing
(1)
neurosymbolic reasoning
(1)
regex synthesis
(1)
natural language description
(1)