Dana Drachsler-Cohen
6 papers · 2017–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π§ Keyword Pioneer π Conference Polyglot (3) π Cross-Pollinator (5) π Academic Marathon (9) π Renaissance Researcher (7)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π£
Hot Topic Early Bird
Conferences
AAAI (2)
NSDI (2)
COLT (1)
ICML (1)
Top co-authors
Keywords
semi-supervised learning
(1)
adversarial robustness
(1)
natural language generation
(1)
code generation
(1)
program synthesis
(1)
gradient-based method
(1)
domain knowledge
(1)
approximation algorithm
(1)
boolean function
(1)
convex hull
(1)
membership query
(1)
robustness certification
(1)
control plane
(1)
data plane
(1)
network specification
(1)
configuration mining
(1)
policy synthesis
(1)
specification mining
(1)
optimization problem
(1)
bound propagation
(1)
Papers
ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries
AAAI 2026
Tight Robustness Certification Through the Convex Hull of ββ Attacks
AAAI 2026
Config2Spec: Mining Network Specifications from Network Configurations
NSDI 2020
DL2: Training and Querying Neural Networks with Logic
ICML 2019
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
NSDI 2018
Learning Disjunctions of Predicates
COLT 2017