Isil Dillig
10 papers · 2020–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ 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)
Papers
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
AAAI 2025
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
NIPS 2024
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
ICLR 2024
TypeT5: Seq2seq Type Inference using Static Analysis
ICLR 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
NIPS 2023
Guiding Safe Exploration with Weakest Preconditions
ICLR 2023
Optimal Neural Program Synthesis from Multimodal Specifications
EMNLP 2021
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
ICLR 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NIPS 2020
Benchmarking Multimodal Regex Synthesis with Complex Structures
ACL 2020