Publications of Lan Zhang sorted by journal and type
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 |