UniMath: A Foundational and Multimodal Mathematical Reasoner
Zhenwen Liang, Tianyu Yang, Jipeng Zhang, Xiangliang Zhang
Main: NLP Applications 2 Main-oral Paper
Session 10: NLP Applications 2 (Oral)
Conference Room: East
Conference Time: December 10, 11:00-12:30 (+08) (Asia/Singapore)
Global Time: December 10, Session 10 (03:00-04:30 UTC)
TLDR:
You can open the
#paper-1999
channel in a separate window.
Abstract: