Automated Theorem Proving On Holstep 1
평가 지표
Classification Accuracy
평가 결과
이 벤치마크에서 각 모델의 성능 결과
비교 표
| 모델 이름 | Classification Accuracy |
|---|---|
| premise-selection-for-theorem-proving-by-deep | 0.890 |
| premise-selection-for-theorem-proving-by-deep | 0.900 |
| holstep-a-machine-learning-dataset-for-higher | 0.83 |
| holstep-a-machine-learning-dataset-for-higher | 0.83 |