Theorem Proving (Relevance Ranking) on iset.mm (val)
45.1Top-1 AccuracyMetaGen-IL
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| MetaGen-ILHuman proofs=7123, Synthetic proofs=1M, Generator=MetaGen-IL2020.02 | 45.1 | 71 | 89.46 | 0.5699 | |
| RELEVANCEHuman proofs=7123, Synthetic proofs=02020.02 | 43.27 | 69.57 | 89.68 | 0.5535 |