Autoformalization & Mathematical Reasoning
Presentation at EMNLP 2026 Tutorial, Budapest, Hungary
Others
Talks
Consistent Autoformalization for Constructing Mathematical Libraries
Presentation at EMNLP 2024, Miami, Florida
On the Effect of Isotropy on VAE Representations of Text
Presentation at ACL 2022, Dublin, Ireland
Blogs
Teaching
- Teaching Assistant, Department of Computer Science, The University of Manchester
Slides
A simple introduction about mathematical details and applications of diffusion models: diffusion_models.pptx.
Summary of what I have done on VAEs and disentanglement before 2023: disentanglement.pptx.