Theorem Proving on Metamath (test)
65.6Pass@8Evariste
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Evaristetraining=online training2022.05 | 65.6 | 72.4 | |
| Supervisedtraining=supervised2022.05 | 55.8 | 61.2 |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| Evaristetraining=online training2022.05 | 65.6 | 72.4 | |
| Supervisedtraining=supervised2022.05 | 55.8 | 61.2 |