Yedi Zhang
5 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(2)
π
Academic Marathon
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Pioneer
Conferences
ICML (3)
AAAI (2)
Top co-authors
Keywords
probabilistic modeling
(1)
game theory
(1)
probabilistic logic
(1)
neural network optimization
(1)
formal methods
(1)
formal verification
(1)
strategic reasoning
(1)
integer linear programming
(1)
stochastic game
(1)
neural network verification
(1)
temporal logic
(1)
model checking
(1)
quantized neural network
(1)
bound propagation
(1)
multi-agent system
(1)
alternating-time mu calculus
(1)
strategic abilities
(1)
alternating-time mu-calculus
(1)