Duo Zhou
2 papers
· 2024–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🐝
Cross-Pollinator
(10)
🌍
Conference Polyglot
(2)
🧭
Keyword Pioneer
Conferences
AAAI (1)
NIPS (1)
Top co-authors
Keywords
adversarial robustness
(1)
formal verification
(1)
branch and bound
(1)
constraint satisfaction
(1)
mixed integer programming
(1)
cutting plane method
(1)
neural network verification
(1)
cutting plane
(1)
supply chain
(1)
information asymmetry
(1)
multi-agent system
(1)
constraint strengthening
(1)
drug shortage
(1)
regulatory intervention
(1)