Lan Zhang

PhD student, University of Manchester

  • Joined November 2021

Names

Lan Zhang (Preferred)

Emails

****@monash.edu (Confirmed)
,
****@gmail.com (Confirmed)
,
****@postgrad.manchester.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student
University of Manchester (cs.manchester.ac.uk)
2023 – 2026
 
MS student
University College London, University of London (ucl.ac.uk)
2019 – 2020
 
Undergrad student
Southeast University (seu.edu.cn)
2014 – 2018
 

Advisors, Relations & Conflicts

Coauthor
2024 – Present
 
PhD Advisor
2023 – Present
 
Coauthor
2023 – Present
 
Coauthor
2021 – 2022
 
Coauthor
2020 – 2022
 

Expertise

Mathematical Reasoning
2023 – Present
 
Autoformalization
2023 – Present
 
Variational Autoencoders
2020 – 2022