Premise Selection on Mizar (test)
81AccuracyBidirDagLSTM-AttDagLSTM
Evaluation Results
| Method | Links | |
|---|---|---|
| BidirDagLSTM-AttDagLSTM2019.11 | 81 | |
| Kucik & Korovinyear=20182019.11 | 76.5 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| BidirDagLSTM-AttDagLSTM2019.11 | 81 | |
| Kucik & Korovinyear=20182019.11 | 76.5 |