1D CNN

Reported on 4 benchmarks across 4 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 ProvingonHolStep (Unconditional)
Classification Accuracy· 2017-03-01
0.83
best: 0.9 (FormulaNet)
SOTA
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426
Mathematical ProofsonHolStep (Unconditional)
Classification Accuracy· 2017-03-01
0.83
best: 0.9 (FormulaNet)
SOTA
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426

Methodology2 results

Electrocardiography (ECG)onMIT-BIH+BIDMC
Accuracy
0.978
Medical waveform analysisonMIT-BIH+BIDMC
Accuracy
0.978