Mathematical Formalization on Convex Analysis long-form Sec. 1–15 Rockafellar
560BlocksM2F
Evaluation Results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| M2FEvaluation Stage=End-to-end artifact + Matched-statement Stage 22026.02 | 560 | — | 164 | 2,620 | 105,682 | 499 | 499 | 100 |
Loading the SOTA2 catalog…