Tactic Dependent Loop

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

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

Miscellaneous2 results

Automated Theorem ProvingonHOList benchmark
Percentage correct· 2019-04-05
38.88
best: 49.95 (4-hop GNN, sub-expression sharing)
SOTA
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241
Mathematical ProofsonHOList benchmark
Percentage correct· 2019-04-05
38.88
best: 49.95 (4-hop GNN, sub-expression sharing)
SOTA
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241