Lan Zhang's Personal Page
Publications
CV
Others

Lan Zhang

PGR Student at The University of Manchester

Manchester, UK
Email
Twitter
Github
Google Scholar

Autoformalization & Mathematical Reasoning

Date: October 28, 2026

Tutorial website here.

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2026 Lan Zhang. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.