Mathematical Proofs on HolStep (Unconditional)

Metric: Classification Accuracy (higher is better)

LeaderboardDataset

Loading chart...

Results

Submit a result

Sort:

#	Model↕	Classification Accuracy▼	Extra Data	Paper	Date↕	Code
1	FormulaNet	0.9	No	Premise Selection for Theorem Proving by Deep Gr...	2017-09-28	Code
2	FormulaNet-basic	0.89	No	Premise Selection for Theorem Proving by Deep Gr...	2017-09-28	Code
3	1D CNN	0.83	No	HolStep: A Machine Learning Dataset for Higher-o...	2017-03-01	Code
4	1D CNN-LSTM	0.83	No	HolStep: A Machine Learning Dataset for Higher-o...	2017-03-01	Code

#1FormulaNetSOTA
0.9
Classification Accuracy· 2017-09-28
Premise Selection for Theorem Proving by Deep Graph Embedding Code
#2FormulaNet-basic
0.89
Classification Accuracy· 2017-09-28
Premise Selection for Theorem Proving by Deep Graph Embedding Code
#31D CNNSOTA
0.83
Classification Accuracy· 2017-03-01
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving Code
#41D CNN-LSTM
0.83
Classification Accuracy· 2017-03-01
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving Code