Beta

Explore
Marketplace
Neural Labs
Playground
Wallet
Docs

Beta

Explore Marketplace Neural Labs Wallet Docs

Build

Manage

My assets Manage wallet Organization

Community

Discord X (Twitter)Telegram

Docs Privacy Policy Terms and Conditions

Proud member of

Proud member of

Docs Cookie Policy

Privacy Policy Terms and Conditions

© 2026 AlphaNeural AI. All rights reserved.

arxivlean-0326 – Dataset by MathArena | AlphaNeural AI

You can deploy this model and start earning money today!

MathArena/
arxivlean-0326

like

0

optimized-parquet

Views

No views yet

Homepage and repository

Homepage: https://matharena.ai/ Repository: https://github.com/eth-sri/matharena

Dataset Summary

This dataset contains the questions from ArXivLean March 2026 used for the MathArena Leaderboard

Data Fields

The dataset contains the following fields:

problem_idx (int64): Problem index within the corresponding MathArena benchmark. problem (string): Problem statement, usually stored as LaTeX source. answer (string): Formal Lean statement… See the full description on the dataset page: https://huggingface.co/datasets/MathArena/arxivlean-0326.