Image de couverture de livre

MathAtlas: A Benchmark for Autoformalization in the Wild

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Patel, Nilay, Arias, Noah, Babayan, Davit, Cochran, Victoria, Libman, Timothy, Mahmood, Hafsah, McCarty, Liam, Munoz, Soli, Willey, Laurel, Flanigan, Jeffrey
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A New Approach Towards Autoformalization
par: Patel, Nilay, et autres
Publié: (2023)

Strong gravitational lensing with upcoming wide-field radio surveys
par: McCarty, Samuel, et autres
Publié: (2024)

Quantum-inspired probability metrics define a complete, universal space for statistical learning
par: McCarty, Logan S.
Publié: (2025)

Decomposing a signed graph into rooted circuits
par: McCarty, Rose
Publié: (2023)

Comparando dos métodos de estimación del tamaño de las redes personales
par: Christopher McCarty
Publié: (2008)

Books + Manipulatives + Families = A Mathematics Lending Library.
par: McCarty, Diane
Publié: (1998)

An Unlikely Prisoner, SeanTurnell, Viking (Australia), 2023, p. 289. ISBN 978‐1761342929 (paperback)
par: Adam McCarty
Publié: (2024)

La estructura en las redes personales
par: Christopher McCarty
Publié: (2010)

The CGM with local universe FRBs: evidence of strong AGN feedback in a massive elliptical galaxy
par: McCarty, Samuel, et autres
Publié: (2026)

Differential Similarity in Higher Dimensional Spaces: Theory and Applications
par: McCarty, L. Thorne
Publié: (2019)

Clustering, Coding, and the Concept of Similarity
par: McCarty, L. Thorne
Publié: (2014)

What for, What More, and the Practice of Praxis: A Commentary on Edmund “Ted” Hamann's CAE Past‐Presidential Address
par: Teresa L. McCarty
Publié: (2025)

Possibilities for Biblio/Poetry Therapy Services in Libraries.
par: Hynes, Arleen McCarty
Publié: (1990)

Bibliotherapy--The Interactive Process.
par: Hynes, Arleen McCarty
Publié: (1987)

MMFormalizer: Multimodal Autoformalization in the Wild
par: Xiong, Jing, et autres
Publié: (2026)

Artificial Phantasia: Emergent Mental Imagery in Large Language Models
par: McCarty, Morgan, et autres
Publié: (2025)

A new way to prove configuration reducibility using gauge theory
par: Baldridge, Scott, et autres
Publié: (2024)

Quantum state systems that count perfect matchings
par: Baldridge, Scott, et autres
Publié: (2024)

A survey of degree-boundedness
par: Du, Xiying, et autres
Publié: (2024)

On classes of bounded tree rank, their interpretations, and efficient sparsification
par: Gajarský, Jakub, et autres
Publié: (2024)

Technology for the Handicapped: Kurzweil and Viewscan.
par: Cotter, Eithne, et autres
Publié: (1983)

Pursuing Inclusive Economic Development in Asia: A Celebration of Peter McCawley By HalHill and DanielSuryadarma (eds.), Tokyo: Asian Development Bank Institute, 2025. 321 pp. ISBN: 978‐4‐89‐974337‐8 (print)
par: Adam McCarty, et autres
Publié: (2026)

Do Proposed and Enacted Contract Farming Regulations Really Raise Farmer Income?
par: Tanner McCarty, et autres
Publié: (2025)

POLISH'ing the Sky: Wide-Field and High-Dynamic Range Interferometric Image Reconstruction with Application to Strong Lens Discovery
par: Wu, Zihui, et autres
Publié: (2026)

Treatment Effect Heterogeneity of Farmers Participating in Cooperatives
par: Drini Imami, et autres
Publié: (2025)

Can Large Language Models Revolutionize Survey Research? Experiments with Disaster Preparedness Responses
par: Wang, Yan, et autres
Publié: (2026)

Prime and polynomial distances in colourings of the plane
par: Davies, James, et autres
Publié: (2023)

Supply and Demand for College Graduates in the South, 1985.
par: McCarty, Marilu H., et autres
Publié: (1978)

Changes to Hog Formulas: Swapping Negotiated Hogs With Pork Cutout Values
par: David Boussios, et autres
Publié: (2025)

Putinism and Markets: How (and Why) Do They Fit Together?
par: Alexander Libman
Publié: (2025)

Una nota sobre la devaluación contractiva bajo un esquema de metas de inflación
par: Emiliano Libman
Publié: (2017)

Minimum Cost Super-Hedging in a Discrete Time Incomplete Multi-Asset Binomial Market
par: Kędra, Jarek, et autres
Publié: (2023)

The propaganda war in Iran among the former allies, 1945–1949: The Soviet perspective as seen through Soviet documents
par: Soli Shahvar
Publié: (2024)

Evolución de la situación política interna de Turquía: avances y resistencias
par: Soli Özel
Publié: (2006)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
par: Zhang, Lan, et autres
Publié: (2025)

Comparing name generator designs in rural panel studies: analyzing alter retention and change
par: Hâncean, Marian-Gabriel, et autres
Publié: (2025)

The structure of group-labeled graphs forbidding an immersion
par: McCarty, Rose, et autres
Publié: (2026)

Graphs whose Eulerian trails have unique labels
par: Kim, Donggyu, et autres
Publié: (2026)

A State Sum for the Total Face Color Polynomial
par: Scott Baldridge, et autres
Publié: (2025)

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
par: Biyani, Param, et autres
Publié: (2025)