💀 The Wall of Shame
The most cited papers with no code. Sorted by the weight of their sins.
Page 1
| # | Paper | Cause of Death | Category | Citations | Published |
|---|---|---|---|---|---|
| 1 | SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer | 🔮 The Ethereal | cs.LO | 20 | 7 years ago |
| 2 | Towards Logical Specification of Statistical Machine Learning | 🔮 The Ethereal | cs.LO | 7 | 6 years ago |
| 3 | Auto-active Verification of Floating-point Programs via Nonlinear Real Provers | 🔮 The Ethereal | cs.LO | 1 | 3 years ago |