Get started
Author

Yizhou Zhang

Observed name: Zhang, Yizhou
Observed institution: University of Waterloo
OpenAlex ID: A5152128829
LLVM Translation Validation Automated with Large Language Models and Lean
2026 · Liao, Chunhao, Xu, Hongxu, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type