language:en license:apache-2.0 size_categories:1K<n<10K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2507.11275 region:us Lean mathematics benchmark