FormulaNet

Reported on 4 benchmarks across 2 tasks · 1 paper · 4 SOTA

Note: results are matched by exact model name. Different papers may use the same name for different model variants.

Miscellaneous4 results

Automated Theorem ProvingonHolStep (Unconditional)
Classification Accuracy· 2017-09-28
0.9
SOTA
Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994
Automated Theorem ProvingonHolStep (Conditional)
Classification Accuracy· 2017-09-28
0.903
best: 0.916 (MPNN-DagLSTM)
SOTA
Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994
Mathematical ProofsonHolStep (Unconditional)
Classification Accuracy· 2017-09-28
0.9
SOTA
Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994
Mathematical ProofsonHolStep (Conditional)
Classification Accuracy· 2017-09-28
0.903
best: 0.916 (MPNN-DagLSTM)
SOTA
Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994