Mihalis Yannakakis
3 papers
· 2018–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(13)
Conferences
NIPS (1)
NSDI (1)
RSS (1)
Top co-authors
Keywords
combinatorial optimization
(1)
model inference
(1)
polynomial-time algorithm
(1)
pareto front
(1)
symbolic execution
(1)
cluster center
(1)
software verification
(1)
finite-state machine
(1)
static equilibrium
(1)
frictional contact
(1)
network function
(1)
grasp stability
(1)
tradeoff optimization
(1)