Theorem Proving (Relevance Ranking) on iset.mm (val)
45.1Top-1 Accuracy
MetaGen-IL
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2020.02 | 45.1 | 71 | 89.46 | 0.5699 | |
2020.02 | 43.27 | 69.57 | 89.68 | 0.5535 |
MetaGen-IL
| Method | Links | ||||
|---|---|---|---|---|---|
2020.02 | 45.1 | 71 | 89.46 | 0.5699 | |
2020.02 | 43.27 | 69.57 | 89.68 | 0.5535 |