Dana Drachsler-Cohen
6 papers · 2017–2026 · 4 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird
🌈
Renaissance Researcher
(6)
Top co-authors
Research topics
Machine Learning
(4)
Deep Learning
(2)
Core Methods
(2)
Optimization & Theory
(2)
Techniques
(2)
Computer Science
(1)
Data Science & Analytics
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Application Areas
(1)
Generation
(1)
Learning Types
(1)
Methods
(1)
Optimization
(1)
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