Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Premise Selection on Mizar (test)
Loading...
81
Accuracy
BidirDagLSTM-AttDagLSTM
76.32
77.535
78.75
79.965
Nov 15, 2019
Accuracy
Updated 4d ago
Evaluation Results
Method
Method
Links
Accuracy
BidirDagLSTM-AttDagLSTM
2019.11
81
Kucik & Korovin
year=2018
2019.11
76.5
Feedback
Search any
task
Search any
task
