Publications of Lan Zhang sorted by journal and type
The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award) (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 |
Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing (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 |
The 2024 Conference on Empirical Methods in Natural Language Processing (2024)
| Consistent Autoformalization for Constructing Mathematical Libraries, , and , in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024 |
Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) (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 |