Scholar
Yizhou Zhang
Google Scholar ID: 8n7ZcbwAAAAJ
University of Waterloo
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
333
H-index
8
i10-index
7
Publications
20
Co-authors
0
Publications
2 items
LLVM Translation Validation Automated with Large Language Models and Lean
2026
Cited
0
Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)
2026
Cited
0
