large-scale benchmark
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Time Series Classification | Large Scale Benchmark Euclidean (train test) | Total Time (Seconds)193 | 8 | |
| Formal Theorem Proving | large-scale benchmark 2,000 problems (test) | FR Rate0.813 | 2 |
Showing 2 of 2 rows