ResearchBenchmarksMulticlass Classification on first-order-theorem-provingMulticlass Classification on first-order-theorem-provingFollow0.606AccuracyXGBoost0.540480.557490.57450.59151Jul 2, 2025Evaluation resultsMethodMethodLinksAccuracyStd DevP-ValueWinning ModelXGBoost2025.070.6060.010.002—SBN2025.070.5430.0160.002—