Concept Learning on Premierleague
298.4Concept SizeTDL
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| TDL2026.05 | 298.4 | 47 | — | |
| TDLTimeout=5min2026.05 | 298.4 | 0.47 | 68 | |
| Theorem 22026.05 | 23.4 | 100 | — | |
| Algorithm 3Timeout=5min2026.05 | 23.4 | 1 | 100 | |
| EvoLearner2026.05 | 5 | 100 | — | |
| EvoLearnerTimeout=5min2026.05 | 5 | 1 | 100 | |
| ALCSAT2026.05 | 2 | 97 | — | |
| Our ToolTimeout=5min2026.05 | 2 | 0.97 | 97 | |
| ⊤Timeout=5min2026.05 | 1 | 0.67 | 50 |