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
Posts by Collection
portfolio
publications
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.