I am a first-year Ph.D. student in Computer Science at the University of Toronto, advised by Prof. Xujie Si. I received both my M.Sc. and B.Sc. degrees from McGill University, where I was advised by Prof. James J. Clark.

My current research focuses on automated theorem proving, with broader interests in AI for mathematics and software engineering, as well as neural-symbolic methods. Previously, I worked on generative modeling in computer vision.

📝 Publications

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent, Youyuan Zhang*, Jialiang Sun* Hangrui Bi, Chuqin Geng, Wenjie Ma, Zhaoyu Li†, Xujie Si†, In Submission to COLM 2026
DM-VQA: Benchmarking Cross-Modality Reasoning under Disjoint Information Sources, Sissi Jiang, Hangrui Bi, Youyuan Zhang, Xujie Si, In Submission to COLM 2026
Euclid-Omni: A Unified Neuro-Symbolic Framework for Geometry Problem Solving, Zhaoyu Li*, Hangrui Bi*, Youyuan Zhang*, Wenjie Ma, Zenan Li, Xujie Si, Kaiyu Yang, In Submission to NeurIPS 2027
Design Editing for Offline Model-based Optimization, Ye Yuan*, Youyuan Zhang*, Can Chen, Haolun Wu, Zixuan Li, Jianmo Li, James J. Clark, Xue Liu, TMLR
Decoupling Training-Free Guided Diffusion by ADMM, Youyuan Zhang*, Zehua Liu*, Zenan Li*, Zhaoyu Li*, James J. Clark, Xujie Si, CVPR 2025
FastVideoEdit: Leveraging Consistency Models for Efficient Text-to-Video Editing, Youyuan Zhang, Xuan Ju, James J. Clark, WACV 2025
Distinctive Image Captioning via CLIP Guided Group Optimization, Youyuan Zhang, Jiuniu Wang, Hao Wu, Wenjia Xu, ECCV Workshop 2022

📝 Professional Services

Conference Reviewer for ICLR (2026), ICML (2026 Silver Reviewer).

🎖 Honors and Awards

2024, Grad Excellence Award, McGill University
2023, Dean’s Convocation Prize, McGill University
2023, First Class Honours in Computer Science, McGill University
2021,2023, Dean’s Honour List, McGill University
2018, James McGill Scholarship, McGill University

📖 Educations

2025 - Present, Ph.D. in Computer Science, advised by Prof. Xujie Si, University of Toronro
2023 - 2025, M.Sc. in Electrical Engineering, advised by Prof. James J. Clark, McGill University
2018 - 2023, B.Sc. in Computer Science (with Honors), McGill University

💬 Invited Talks

2024.10, Guiding Unconditional Diffusion Models Through Differentiable Constraints, REAP Lab, University of Toronto. Slides

Miscellaneous

Outside of research, I am a fan of competitive FPS games, including Overwatch 2 and Apex Legends. I have achieved Master in Apex Legends and Grandmaster in Overwatch 2. In this year, I become a Top 500 player (#426) on the Chinese server.