Theorem Proving on iset.mm (test)
398Proofs FoundHOLOPHRASM + MetaGen-IL
Evaluation Results
| Method | Links | |
|---|---|---|
| HOLOPHRASM + MetaGen-ILHuman proofs=7123 (ISET), Synthetic proofs=1M, Generator=MetaGen-IL, Prover=HOLOPHRASM2020.02 | 398 | |
| HOLOPHRASMHuman proofs=7123 (ISET), Synthetic proofs=0, Generator=None, Prover=HOLOPHRASM2020.02 | 378 |