Jianan Yao
4 papers · 2020–2025 · 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 Β· Sprint
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(2)
Top co-authors
Research topics
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)