Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Popularity-Similarity (hard)
Loading...
75.2
Precision
PASAT
67.816
69.733
71.65
73.567
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
75.2
80.3
88
NeuroCore
2026.05
72.1
76.6
83.5
SATFormer
2026.05
69.6
73.5
80.6
GCN
2026.05
68.1
71.7
77.6
Feedback
Search any
task
Search any
task
