Convex Analysis
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Formalization | Convex Analysis long-form Sec. 1–15 Rockafellar | Blocks560 | 1 |
Showing 1 of 1 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Formalization | Convex Analysis long-form Sec. 1–15 Rockafellar | Blocks560 | 1 |