Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on Community Attachment (average)
Loading...
40.8
Precision
PASAT
16.152
22.551
28.95
35.349
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
40.8
51.1
73.6
NeuroCore
2026.05
23.8
33.3
60.5
SATFormer
2026.05
18.5
24.6
52.7
GCN
2026.05
17.1
21.5
51.8
Feedback
Search any
task
Search any
task
