ResearchBenchmarksUnsat-core prediction on Popularity-Similarity (medium)Unsat-core prediction on Popularity-Similarity (medium)Follow77.5PrecisionPASAT70.7472.49574.2576.005May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0577.583.886.1NeuroCore2026.0574.980.982.6SATFormer2026.0573.178.880.1GCN2026.057176.677.4