MMFormalizer: Multimodal Autoformalization in the Wild

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	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
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2601.03017