Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on SR (medium)
Loading...
90
Precision
PASAT
85.528
86.689
87.85
89.011
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
90
95.3
86.3
NeuroCore
2026.05
87.4
92.2
78.9
SATFormer
2026.05
85.9
90
72.6
GCN
2026.05
85.7
89.4
71.5
Feedback
Search any
task
Search any
task
