Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
A blog about speech recognition and machine translation
Published:
This blog is published on Wordpress.
portfolio
publications
Unsupervised Representation Disentanglement of Text: An Evaluation on Synthetic Datasets
Lan Zhang, Victor Prokhorov, Ehsan Shareghi
Published in Proceedings of the 6th Workshop on Representation Learning for NLP (RepL4NLP-2021), 2021
On the Effect of Isotropy on VAE Representations of Text
Lan Zhang, Wray Buntine, Ehsan Shareghi
Published in Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022
Multi-Operational Mathematical Derivations in Latent Space
Marco Valentino, Jordan Meadows, Lan Zhang, Andre Freitas
Published in Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024
Consistent Autoformalization for Constructing Mathematical Libraries
Lan Zhang, Xin Quan, Andre Freitas
Published in Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
MASA: LLM-Driven Multi-Agent Systems for Autoformalization
Lan Zhang, Marco Valentino, Andre Freitas
Published in Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2025
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
Lan Zhang, Marco Valentino, Andre Freitas
Published in Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
Best Resource Paper Award
Paper Repository Dataset
talks
Oral Presentation on ACL 2022 for a Short Paper
Published:
Video here.