Automated Theorem Proving on Metamath (val)
56.5Performance
700m policy+value a = 32
Updated 4d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2020.09 | 56.5 | 9.2 | - | - | - | |
2020.09 | 47.21 | 4.6 | - | - | - | |
2020.09 | 42.56 | 10.9 | - | - | - | |
2020.09 | 31.58 | 2.5 | - | - | - | |
2020.09 | 28.96 | 7.8 | - | - | - | |
2020.09 | 21.16 | - | - | - | - | |
2022.05 | - | - | - | 61 | 65.4 | |
2022.05 | - | - | 82.6 | 81 | 81.2 |