ResearchBenchmarksUnsat-core prediction on Popularity-Similarity (easy)Unsat-core prediction on Popularity-Similarity (easy)Follow86.4PrecisionPASAT82.65683.62884.685.572May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0586.49384.5NeuroCore2026.0585.29282.6SATFormer2026.05849180.8GCN2026.0582.889.878.7