Mathematical Formalization on Real Analysis long-form Lebl
416BlocksM2F
Evaluation Results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 416 | — | 49 | 1,195 | 34,327 | 339 | 339 | 100 |
Loading the SOTA2 catalog…
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 416 | — | 49 | 1,195 | 34,327 | 339 | 339 | 100 |