Haoyu Zhao's Website
CV
Publications

Haoyu Zhao

A computer science student at Princeton University

Princeton, NJ
Email
Facebook
LinkedIn
Github

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Published: February 10, 2026

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2026 Haoyu Zhao. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.