UniMath: A Foundational and Multimodal Mathematical Reasoner Zhenwen Liang author Tianyu Yang author Jipeng Zhang author Xiangliang Zhang author 2023-12 text Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication liang-etal-2023-unimath 10.18653/v1/2023.emnlp-main.440 https://aclanthology.org/2023.emnlp-main.440/ 2023-12 7126 7133