Elena Botoeva
4 papers · 2013–2024 · 2 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 ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🗺️
Taxonomy Completionist
(10)
❓
The Questioner
🚀
Conference Pioneer
Top co-authors
Research topics
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)