UniMath: A Foundational and Multimodal Mathematical Reasoner.

Zhenwen Liang, Tianyu Yang, Jipeng Zhang, Xiangliang Zhang

Browse the full EMNLP paper archive.