Noah Arias

Identifiers

• name variant Noah Arias 0.50 · backfill

Papers (1)

1. MathAtlas: A Benchmark for Autoformalization in the Wild cs.AI · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Davit Babayan 1 shared papers
• Hafsah Mahmood 1 shared papers
• Jeffrey Flanigan 1 shared papers
• Laurel Willey 1 shared papers
• Liam McCarty 1 shared papers
• Nilay Patel 1 shared papers
• Soli Munoz 1 shared papers
• Timothy Libman 1 shared papers
• Victoria Cochran 1 shared papers