Zhaoyu Li

3
Papers
3
Total Citations
1
Affiliations

Affiliations

University of Toronto

Papers (3)

Decoupling Training-Free Guided Diffusion by ADMM

CVPR 2025arXiv
3
citations

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

ICLR 2025arXiv
0
citations

Autoformalizing Euclidean Geometry

ICML 2024arXiv
0
citations