Research output per year
Research output per year
Fingerprint
Dive into the research topics where Lan Zhang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 3 Conference contribution
-
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
Zhang, L., Valentino, M. & Freitas, A., 9 Nov 2025, Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 1720-1738Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
MASA: LLM-Driven Multi-Agent Systems for Autoformalization
Zhang, L., Valentino, M. & Freitas, A., 1 Nov 2025, Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations. Association for Computational Linguistics, p. 615-624Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Consistent Autoformalization for Constructing Mathematical Libraries
Zhang, L., Quan, X. & Freitas, A., 12 Nov 2024, Proceedings of the 2024 Conference on Empirical Methods in Natural Language ProcessinG. Association for Computational Linguistics, p. 4020–4033Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
Prizes
-
Best Resource Paper Award at EMNLP 2025
Zhang, L. (Recipient), Valentino, M. (Recipient) & Freitas, A. (Recipient), 7 Nov 2025
Prize: Prize (including medals and awards)