Siamese 1D CNN

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 ProvingonHolStep (Conditional)
Classification Accuracy· 2017-03-01
0.82
best: 0.916 (MPNN-DagLSTM)
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426
Mathematical ProofsonHolStep (Conditional)
Classification Accuracy· 2017-03-01
0.82
best: 0.916 (MPNN-DagLSTM)
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426