Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Popularity-Similarity (medium)
Loading...
77.5
Precision
PASAT
70.74
72.495
74.25
76.005
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
77.5
83.8
86.1
NeuroCore
2026.05
74.9
80.9
82.6
SATFormer
2026.05
73.1
78.8
80.1
GCN
2026.05
71
76.6
77.4
Feedback
Search any
task
Search any
task
