Scholar
Runzhou Tao
Google Scholar ID: I0EoZyQAAAAJ
University of Maryland
Programming Language
Formal Verification
Quantum Computing
Theoretical Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
674
H-index
12
i10-index
14
Publications
20
Co-authors
20
list available
Publications
4 items
FDR-Occ: Factorized Dense Routing for Full-Spectrum 3D Occupancy Prediction
2026
Cited
0
End-to-End Formalization of Quantum Error Correction
2026
Cited
0
From Human Intention to Action Prediction: A Comprehensive Benchmark for Intention-driven End-to-End Autonomous Driving
2025
Cited
0
HiCoGen: Hierarchical Compositional Text-to-Image Generation in Diffusion Models via Reinforcement Learning
2025
Cited
0
Co-authors
11 total
Yunong Shi
Amazon Braket
Zhiyi Huang
The University of Hong Kong
Andrew W. Cross
Research Staff Member, IBM T. J. Watson Research Center
Ali Javadi-Abhari
IBM
Baihe Huang
University of California, Berkeley
Morteza Zadimoghaddam
Research Scientist at Google
Suman Jana
Associate Professor of Computer Science, Columbia University
Danyang Zhuo
Duke University
