ResearchBenchmarksUnsat-core prediction on Community Attachment (average)Unsat-core prediction on Community Attachment (average)Follow40.8PrecisionPASAT16.15222.55128.9535.349May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0540.851.173.6NeuroCore2026.0523.833.360.5SATFormer2026.0518.524.652.7GCN2026.0517.121.551.8