ResearchBenchmarksUnsat-core prediction on SR (hard)Unsat-core prediction on SR (hard)Follow95.6PrecisionPASAT93.72894.21494.795.186May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR AUCROC AUCPASAT2026.0595.698.591.3NeuroCore2026.0594.597.485.6GCN2026.0593.896.177.8SATFormer2026.0593.896.478.7