Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Community Attachment hard
Loading...
0.493
Precision
PASAT
0.11132
0.21041
0.3095
0.40859
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
0.493
0.575
0.784
NeuroCore
2026.05
0.189
0.285
0.571
GCN
2026.05
0.144
0.158
0.502
SATFormer
2026.05
0.126
0.15
0.477
Feedback
Search any
task
Search any
task