| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Speaker & Language | SR | LB65.3 | 11 | |
| Mutation Killing | SR (Killable) | rho_k7.5 | 10 | |
| Super-Resolution | SR RFs = 4 | PSNR25.88 | 9 | |
| Unconditional generation of event sequences | SR synthetic (test) | MMD (1e-2)1.3 | 5 | |
| Temporal Point Process Generation | SR (test) | MMD1.3 | 5 | |
| Mutation Killing | SR (Non-Killable) | rho_k100 | 5 | |
| Unsat-core prediction | SR (average) | Precision91.7 | 4 | |
| Unsat-core prediction | SR (hard) | Precision95.6 | 4 | |
| Unsat-core prediction | SR (medium) | Precision90 | 4 | |
| Unsat-core prediction | SR (easy) | Precision89.6 | 4 | |
| NCBF Verification | SR 1.0 (test) | Verification Run-time (s)9.8 | 4 | |
| Image Quality Assessment | SR (Shan08) | Ours Score0.891 | 1 | |
| Image Quality Assessment | SR dataset Bicubic | IQA Score0.933 | 1 |