Zhenwen Liang, Tianyu Yang, Jipeng Zhang, Xiangliang Zhang 0001. UniMath: A Foundational and Multimodal Mathematical Reasoner. In Houda Bouamor, Juan Pino 0001, Kalika Bali, editors, Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023. pages 7126-7133, Association for Computational Linguistics, 2023. [doi]
Abstract is missing.