Concept Learning on Mammographic
5,780.7Concept SizeTDL
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| TDL2026.05 | 5,780.7 | 69 | — | |
| TDLTimeout=5min2026.05 | 5,780.7 | 0.69 | 0.6 | |
| Theorem 22026.05 | 1,925.4 | 76 | — | |
| Algorithm 3Timeout=5min2026.05 | 1,925.4 | 0.76 | 0.78 | |
| ALCSAT2026.05 | 9.1 | 81 | — | |
| Our ToolTimeout=5min2026.05 | 9.1 | 0.81 | 0.83 | |
| EvoLearner2026.05 | 3.2 | 78 | — | |
| EvoLearnerTimeout=5min2026.05 | 3.2 | 0.78 | 0.8 | |
| ⊤Timeout=5min2026.05 | 1 | 0.63 | 0.46 |