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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
20 total
Co-author 1
Co-author 2
Co-author 3
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
