Scholar
Yunong Shi
Google Scholar ID: dnDj1EIAAAAJ
Amazon Braket
Quantum computing
Quantum compilation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,396
H-index
16
i10-index
19
Publications
20
Co-authors
20
list available
Publications
3 items
Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
2026
Cited
0
AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes
2026
Cited
1
ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays
2025
Cited
0
Co-authors
8 total
Ali Javadi-Abhari
IBM
Andrew W. Cross
Research Staff Member, IBM T. J. Watson Research Center
Runzhou Tao
University of Maryland
Yongshan Ding
Assistant Professor, Yale University
Henry Hoffmann
Liew Family Chair of Computer Science, University of Chicago
Margaret Martonosi
Professor of Computer Science, Princeton University
Yuan Xie
Chair Professor of Hong Kong University of Science and Technology (HKUST)
Christopher Chamberland
Senior QEC Research Scientist at NVIDIA
