Mathematical Formalization on Total long-form Combined Corpora (aggregate)
1,043BlocksM2F
Evaluation Results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 1,043 | — | 241 | 4,116 | 153,853 | 875 | 875 | 100 |
Loading the SOTA2 catalog…