Concept Learning on Lymphography
330.8Concept SizeTheorem 2
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Theorem 22026.05 | 330.8 | 74 | — | |
| Algorithm 3Timeout=5min2026.05 | 330.8 | 74 | 73 | |
| TDL2026.05 | 112.1 | 82 | — | |
| TDLTimeout=5min2026.05 | 112.1 | 82 | 80 | |
| EvoLearner2026.05 | 17.4 | 84 | — | |
| EvoLearnerTimeout=5min2026.05 | 17.4 | 84 | 82 | |
| ALCSAT2026.05 | 10 | 83 | — | |
| Our ToolTimeout=5min2026.05 | 10 | 83 | 80 | |
| ⊤Timeout=5min2026.05 | 1 | 73 | 57 |