ResearchBenchmarksUnsat-core prediction on Community Attachment hardFollow0.493PrecisionPASAT0.111320.210410.30950.40859May 6, 2026Evaluation ResultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.050.4930.5750.784NeuroCore2026.050.1890.2850.571GCN2026.050.1440.1580.502SATFormer2026.050.1260.150.477