Concept Learning on Pyrimidine
60.8Concept SizeTheorem 2
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Theorem 22026.05 | 60.8 | 90 | — | |
| Algorithm 3Timeout=5min2026.05 | 60.8 | 90 | 93 | |
| TDL2026.05 | 15.9 | 82 | — | |
| TDLTimeout=5min2026.05 | 15.9 | 82 | 82 | |
| EvoLearner2026.05 | 6.4 | 91 | — | |
| EvoLearnerTimeout=5min2026.05 | 6.4 | 91 | 93 | |
| ALCSAT2026.05 | 5.9 | 95 | — | |
| Our ToolTimeout=5min2026.05 | 5.9 | 95 | 95 | |
| ⊤Timeout=5min2026.05 | 1 | 67 | 50 |