Mathematical Formalization on Paper long-form
67BlocksM2F
Evaluation Results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 67 | — | 28 | 301 | 13,844 | 37 | 37 | 100 |
Loading the SOTA2 catalog…
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 67 | — | 28 | 301 | 13,844 | 37 | 37 | 100 |