ResearchBenchmarksUnsat-core prediction on SR (medium)Unsat-core prediction on SR (medium)Follow90PrecisionPASAT85.52886.68987.8589.011May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.059095.386.3NeuroCore2026.0587.492.278.9SATFormer2026.0585.99072.6GCN2026.0585.789.471.5