Concept Learning on Carcinogenesis
1Concept Size⊤
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| ⊤Timeout=5min2026.05 | 1 | 0.71 | 0.55 | |
| EvoLearner2026.05 | 5.5 | 71 | — | |
| EvoLearnerTimeout=5min2026.05 | 5.5 | 0.71 | 0.56 | |
| ALCSAT2026.05 | 6 | 73 | — | |
| Our ToolTimeout=5min2026.05 | 6 | 0.73 | 0.7 | |
| TDL2026.05 | 879.6 | 62 | — | |
| TDLTimeout=5min2026.05 | 879.6 | 0.62 | 0.58 | |
| Theorem 22026.05 | 4,715.6 | 56 | — | |
| Algorithm 3Timeout=5min2026.05 | 4,715.6 | 0.56 | 0.59 |