Deeper Wider WaveNet

Reported on 2 benchmarks across 2 tasks · 1 paper

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
32.65
best: 49.95 (4-hop GNN, sub-expression sharing)
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241
Mathematical ProofsonHOList benchmark
Percentage correct· 2019-04-05
32.65
best: 49.95 (4-hop GNN, sub-expression sharing)
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241