UniMath: A Foundational and Multimodal Mathematical Reasoner

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]

@inproceedings{LiangYZ023,
  title = {UniMath: A Foundational and Multimodal Mathematical Reasoner},
  author = {Zhenwen Liang and Tianyu Yang and Jipeng Zhang and Xiangliang Zhang 0001},
  year = {2023},
  url = {https://aclanthology.org/2023.emnlp-main.440},
  researchr = {https://researchr.org/publication/LiangYZ023},
  cites = {0},
  citedby = {0},
  pages = {7126-7133},
  booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023},
  editor = {Houda Bouamor and Juan Pino 0001 and Kalika Bali},
  publisher = {Association for Computational Linguistics},
  isbn = {979-8-89176-060-8},
}