Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Popularity-Similarity
Loading...
79.7
Precision
PASAT
73.772
75.311
76.85
78.389
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
79.7
85.7
86.2
NeuroCore
2026.05
77.4
83.2
82.9
SATFormer
2026.05
75.6
81.1
80.5
GCN
2026.05
74
79.4
77.9
Feedback
Search any
task
Search any
task
