Elena Botoeva
4 papers
· 2013–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)