Isil Dillig
11 papers · 2020–2026 · 6 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 ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Silver π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (31) π Conference Polyglot Β· Silver ποΈ Keyword Collector (58)
π
Renaissance Researcher
(5)
π
Trend Setter
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(5)
Computer Science
(4)
Deep Learning
(4)
Applications Β· Computer Science
(3)
Natural Language Processing
(2)
Reinforcement Learning
(2)
Application Areas
(2)
Applications Β· Natural Language Processing
(2)
Applications Β· Reinforcement Learning
(2)
Architectures
(2)
Core Methods
(2)
Learning Types
(2)
Knowledge & Reasoning
(1)
Keywords
program synthesis
(3)
safe exploration
(2)
large language model
(2)
automated reasoning
(2)
multimodal learning
(2)
reinforcement learning
(2)
static analysis
(2)
type inference
(2)
theorem proving
(1)
code completion
(1)
probabilistic modeling
(1)
syntax parsing
(1)
semantic parsing
(1)
formal verification
(1)
probabilistic grammar
(1)
continuous state space
(1)
preference learning
(1)
robot behavior
(1)
natural language
(1)
continuous control
(1)
Papers
Towards Performance Robustness for Microservices
NSDI 2026
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
AAAI 2025
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
ICLR 2024
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
NeurIPS 2024
Guiding Safe Exploration with Weakest Preconditions
ICLR 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
NeurIPS 2023
TypeT5: Seq2seq Type Inference using Static Analysis
ICLR 2023
Optimal Neural Program Synthesis from Multimodal Specifications
EMNLP 2021
Benchmarking Multimodal Regex Synthesis with Complex Structures
ACL 2020
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
ICLR 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NeurIPS 2020