Publications of Lan Zhang
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 |