ResearchBenchmarksUnsat-core prediction on Popularity-Similarity (hard)Unsat-core prediction on Popularity-Similarity (hard)Follow75.2PrecisionPASAT67.81669.73371.6573.567May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0575.280.388NeuroCore2026.0572.176.683.5SATFormer2026.0569.673.580.6GCN2026.0568.171.777.6