set.mm
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving | set.mm (test) | Proofs Found (Test)600 | 14 | |
| Theorem Proving (Relevance Ranking) | set.mm (val) | Top-1 Accuracy53.2 | 12 | |
| Theorem Proving (Substitution Network) | set.mm (val) | Prob0.6847 | 12 |
Showing 3 of 3 rows