Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Popularity-Similarity (easy)
Loading...
86.4
Precision
PASAT
82.656
83.628
84.6
85.572
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
86.4
93
84.5
NeuroCore
2026.05
85.2
92
82.6
SATFormer
2026.05
84
91
80.8
GCN
2026.05
82.8
89.8
78.7
Feedback
Search any
task
Search any
task
