iset.mm
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving (Relevance Ranking) | iset.mm (val) | Top-1 Accuracy45.1 | 2 | |
| Theorem Proving (Substitution Network) | iset.mm (val) | Probability0.2554 | 2 | |
| Theorem Proving | iset.mm (test) | Proofs Found398 | 2 |
Showing 3 of 3 rows