MathAtlas: A Benchmark for Autoformalization in the Wild

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Patel, Nilay, Arias, Noah, Babayan, Davit, Cochran, Victoria, Libman, Timothy, Mahmood, Hafsah, McCarty, Liam, Munoz, Soli, Willey, Laurel, Flanigan, Jeffrey
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2605.14061