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 |