MMFormalizer: Multimodal Autoformalization in the Wild

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: 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
Formato: Preprint
Publicado: 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!