Automated Theorem Proving On Holstep 1

Classification Accuracy

평가 결과

이 벤치마크에서 각 모델의 성능 결과

		Paper Title
FormulaNet	0.900	Premise Selection for Theorem Proving by Deep Graph Embedding
FormulaNet-basic	0.890	Premise Selection for Theorem Proving by Deep Graph Embedding
1D CNN	0.83	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
1D CNN-LSTM	0.83	HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

0 of 4 row(s) selected.