Automated Theorem Proving on HOList benchmark

8개 결과 · ⬇ CSV · JSON

Percentage correct

Rank	Model	Percentage correct	Paper	Code	Year
1	4-hop GNN, sub-expression sharing	49.95	Graph Representations for Higher-Order Logic and Theorem Proving		2019
2	Tactic Dependent Loop	38.88	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving	tensorflow/deepmath · Kerram/Deephol-Bert-Zpp · Kerram/holist-train	2019
3	BoW2 (extra -ves)	36.55	Learning to Reason in Large Theories without Imitation		2019
4	Deeper Wider WaveNet	32.65	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving	tensorflow/deepmath · Kerram/Deephol-Bert-Zpp · Kerram/holist-train	2019
5	4-hop GNN, sub-expression sharing	49.95	Graph Representations for Higher-Order Logic and Theorem Proving		2019
6	Tactic Dependent Loop	38.88	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving	tensorflow/deepmath · Kerram/Deephol-Bert-Zpp · Kerram/holist-train	2019
7	BoW2 (extra -ves)	36.55	Learning to Reason in Large Theories without Imitation		2019
8	Deeper Wider WaveNet	32.65	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving	tensorflow/deepmath · Kerram/Deephol-Bert-Zpp · Kerram/holist-train	2019