Principia Mathematica
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Theorem Proving | Principia Mathematica 23 Theorems Chapter 2 (All) | Metric- | 0 |
Showing 1 of 1 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Theorem Proving | Principia Mathematica 23 Theorems Chapter 2 (All) | Metric- | 0 |