List your company

Concept Learning on Hepatitis

53,269.8Concept SizeTheorem 2
-2,129.75212,252.82426,635.441,017.976May 8, 2026

Evaluation results

MethodLinks
Theorem 22026.0553,269.853—
Algorithm 3Timeout=5min2026.0553,269.85362
TDL2026.051,436.883—
TDLTimeout=5min2026.051,436.88384
ALCSAT2026.05581—
Our ToolTimeout=5min2026.0558184
EvoLearner2026.054.577—
EvoLearnerTimeout=5min2026.054.57777
⊤Timeout=5min2026.0515841