MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: He, Zhitao, Lyu, Zongwei, Chen, Dazhong, Guo, Dadi, Fung, Yi R.
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!