Share your thoughts, 1 month free Claude Pro on us
See more
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 1mo 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
