ctxdexSynthetic model data for learning

Benchmark family

MathArena ArXivLean

A family groups the versions of one benchmark. It is not evaluated and has no applicable models of its own; each of its 2 definitions is resolved separately.

Research mathematicsRolling evaluationFormal reasoning

Definitions

Compare versions →

Newest first, following the recorded successor chain. Each definition is resolved against models separately.

  1. BenchmarkMathArena ArXivLean06/2026
    ActiveNewest in family
    Successor of MathArena ArXivLean
    Scale
    46 problems
    Primary metric
    Formal Proof Acceptance
    Applicable models
    0
  2. BenchmarkMathArena ArXivLean03/2026
    Deprecated
    Scale
    41 problems
    Primary metric
    Formal Proof Acceptance
    Applicable models
    0

Family methodology

No family-level methodology recorded.

Across definitions

Tasks
None recorded
Sources
None recorded at family level
Last reviewed
2026-09-22

Applicability does not mean evaluated; benchmark result/model score data is outside this UI contract.