Theorem Proving (Substitution Network) on iset.mm (val)
0.2554ProbabilityMetaGen-IL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| MetaGen-ILHuman proofs=7123 (ISET), Synthetic proofs=1M, Model=SUBSTITUTION2020.02 | 0.2554 | 57.81 | |
| SUBSTITUTIONHuman proofs=7123 (ISET), Synthetic proofs=0, Generator=-2020.02 | 0.1723 | 49.45 |