Publications of Lan Zhang
2025
| Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions, , and , in: The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award), 2025 |
| MASA: A Modular Framework for LLM-Driven Multi-Agent Systems for Autoformalization, , and , in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing, 2025 |
2024
| Consistent Autoformalization for Constructing Mathematical Libraries, , and , in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024 |
| Multi-Operational Mathematical Derivations in Latent Space, , , and , 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 |