Elena Botoeva
4 papers · 2013–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (15) πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (11)
π
Interdisciplinary Bridge
π
Conference Pioneer
β
The Questioner
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
formal verification
(2)
mixed integer programming
(1)
relu activation
(1)
neural network verification
(1)
model checking
(1)
relu network
(1)
relu neural network
(1)
multi-agent system
(1)
milp solver
(1)
dependency analysis
(1)
symbolic interval propagation
(1)
milp formulation
(1)
neural-symbolic computing
(1)
milp verification
(1)
parameterised model
(1)
bounded ctl
(1)
neural interpreted system
(1)
adversarial robustness
(1)
abstraction methodology
(1)