Theorem Proving (Substitution Network) on set.mm (val)
0.6847Prob
MetaGen-IL
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2020.02 | 0.6847 | 83.9 | |
2020.02 | 0.6439 | 81.85 | |
2020.02 | 0.6142 | 81.57 | |
2020.02 | 0.3765 | 67.07 | |
2020.02 | 0.371 | 66.56 | |
2020.02 | 0.3203 | 61.78 | |
2020.02 | 0.2738 | 58.91 | |
2020.02 | 0.0186 | 31.38 | |
2020.02 | 0.0181 | 24.33 | |
2020.02 | 0.0103 | 29.68 | |
2020.02 | 0.0032 | 9.06 | |
2020.02 | 0.0008 | 0.01 |