Jianan Yao
4 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(5)
π
Cross-Pollinator
(3)
πΊοΈ
Taxonomy Completionist
(10)
Conferences
OSDI (3)
ICLR (1)
Top co-authors
Keywords
inductive invariant
(2)
automated verification
(2)
smt solver
(2)
safety property
(2)
formal verification
(1)
invariant learning
(1)
virtual machine
(1)
resource utilization
(1)
distributed protocol
(1)
distributed protocol verification
(1)
smt solving
(1)
loop invariant
(1)
quantum gate
(1)
fault isolation
(1)
quantum virtual machine
(1)
quantum multiplexing
(1)
resource multiplexing
(1)
quantum cloud
(1)
quantum computing
(1)
quantum program execution
(1)