MMFormalizer: Multimodal Autoformalization in the Wild

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xiong, Jing, Han, Qi, Hsieh, Yunta, Shen, Hui, Xin, Huajian, Tao, Chaofan, Zhao, Chenyang, Zhang, Hengyuan, Wu, Taiqiang, Zhang, Zhen, Wang, Haochen, Wan, Zhongwei, Kong, Lingpeng, Wong, Ngai
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2601.03017