ResearchBenchmarksUnsat-core prediction on SR (easy)Unsat-core prediction on SR (easy)Follow89.6PrecisionPASAT84.29685.67387.0588.427May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0589.69583.9NeuroCore2026.0586.591.776.9SATFormer2026.0584.789.570.9GCN2026.0584.589.170.3