💀 The Wall of Shame

The most cited papers with no code. Sorted by the weight of their sins.

Page 2, showing 50 papers

# Paper Cause of Death Category Citations Published
51 Bipartite Perfect Matching is in quasi-NC
Stephen A. Fenner, Rohit Gurjar, Thomas Thierauf
🔮 The Ethereal cs.CC 91 10 years ago
52 The Complexity of Gradient Descent: CLS = PPAD $\cap$ PLS
John Fearnley, Paul W. Goldberg, ... (+2 more)
🔮 The Ethereal cs.CC 90 5 years ago
53 Flow Smoothing and Denoising: Graph Signal Processing in the Edge-Space
Michael T. Schaub, Santiago Segarra
🔮 The Ethereal cs.DM 89 7 years ago
54 A Domain Theory for Statistical Probabilistic Programming
Matthijs Vákár, Ohad Kammar, Sam Staton
🔮 The Ethereal cs.LO 87 7 years ago
55 Improved Sum-of-Squares Lower Bounds for Hidden Clique and Hidden Submatrix Problems
Yash Deshpande, Andrea Montanari
🔮 The Ethereal cs.CC 85 11 years ago
56 DEEP-FRI: Sampling outside the box improves soundness
Eli Ben-Sasson, Lior Goldberg, ... (+2 more)
🔮 The Ethereal cs.CC 84 7 years ago
57 On a conjecture of Sokal concerning roots of the independence polynomial
Han Peters, Guus Regts
🔮 The Ethereal math.CO 83 9 years ago
58 QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin, Steve Zdancewic
🔮 The Ethereal cs.LO 82 8 years ago
59 Measurable Cones and Stable, Measurable Functions
Thomas Ehrhard, Michele Pagani, Christine Tasson
🔮 The Ethereal cs.LO 81 8 years ago
60 On the Fine-grained Complexity of One-Dimensional Dynamic Programming
Marvin Künnemann, Ramamohan Paturi, Stefan Schneider
🔮 The Ethereal cs.CC 80 9 years ago
61 QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer, Karl Palmskog, ... (+3 more)
🔮 The Ethereal cs.LO 80 6 years ago
62 On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, ... (+2 more)
🔮 The Ethereal cs.LO 79 9 years ago
63 Complexity of Training ReLU Neural Network
Digvijay Boob, Santanu S. Dey, Guanghui Lan
🔮 The Ethereal cs.CC 79 7 years ago
64 Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, ... (+2 more)
🔮 The Ethereal cs.LO 78 11 years ago
65 Approximating Rectangles by Juntas and Weakly-Exponential Lower Bounds for LP Relaxations of CSPs
Pravesh K. Kothari, Raghu Meka, Prasad Raghavendra
🔮 The Ethereal cs.CC 78 9 years ago
66 Recurrent Neural Networks as Weighted Language Recognizers
Yining Chen, Sorcha Gilroy, ... (+3 more)
🔮 The Ethereal cs.FL 78 8 years ago
67 Multivariate Fine-Grained Complexity of Longest Common Subsequence
Karl Bringmann, Marvin Künnemann
🔮 The Ethereal cs.CC 78 8 years ago
68 The Institutional Approach
Robert E. Kent
🔮 The Ethereal cs.LO 78 7 years ago
69 A Box Decomposition Algorithm to Compute the Hypervolume Indicator
Renaud Lacour, Kathrin Klamroth, Carlos M. Fonseca
🔮 The Ethereal cs.DM 77 10 years ago
70 A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, ... (+2 more)
🔮 The Ethereal cs.LO 77 9 years ago
71 Optimal mean-based algorithms for trace reconstruction
Anindya De, Ryan O'Donnell, Rocco Servedio
🔮 The Ethereal cs.CC 77 9 years ago
72 Causal Inference by String Diagram Surgery
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
🔮 The Ethereal cs.LO 75 7 years ago
73 A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, ... (+4 more)
🔮 The Ethereal cs.LO 74 10 years ago
74 Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness
Igor C. Oliveira, Rahul Santhanam
🔮 The Ethereal cs.CC 74 9 years ago
75 The Model Counting Competition 2020
Johannes K. Fichte, Markus Hecher, Florim Hamiti
🔮 The Ethereal cs.LO 74 5 years ago
76 A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening
Gecia Bravo-Hermsdorff, Lee M. Gunderson
🔮 The Ethereal cs.DM 72 7 years ago
77 Statistical Query Algorithms and Low-Degree Tests Are Almost Equivalent
Matthew Brennan, Guy Bresler, ... (+3 more)
🔮 The Ethereal cs.CC 72 5 years ago
78 Separators in region intersection graphs
James R. Lee
🔮 The Ethereal math.CO 71 9 years ago
79 On kernels and nuclei of rank metric codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 69 9 years ago
80 Three-Source Extractors for Polylogarithmic Min-Entropy
Xin Li
🔮 The Ethereal cs.CC 68 11 years ago
81 The backtracking survey propagation algorithm for solving random K-SAT problems
Raffaele Marino, Giorgio Parisi, Federico Ricci-Tersenghi
🔮 The Ethereal cs.CC 67 10 years ago
82 Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, ... (+3 more)
🔮 The Ethereal cs.LO 67 8 years ago
83 Optimal Low-Degree Hardness of Maximum Independent Set
Alexander S. Wein
🔮 The Ethereal cs.CC 67 5 years ago
84 Beating the random assignment on constraint satisfaction problems of bounded degree
Boaz Barak, Ankur Moitra, ... (+8 more)
🔮 The Ethereal cs.CC 66 10 years ago
85 TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, ... (+4 more)
🔮 The Ethereal cs.FL 66 7 years ago
86 Unfolding-based Partial Order Reduction
César Rodríguez, Marcelo Sousa, ... (+2 more)
🔮 The Ethereal cs.LO 65 10 years ago
87 Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, ... (+4 more)
🔮 The Ethereal cs.LO 65 9 years ago
88 Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method
Avi Levy, Harishchandra Ramadas, Thomas Rothvoss
🔮 The Ethereal cs.DM 65 9 years ago
89 A Zero Knowledge Sumcheck and its Applications
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
🔮 The Ethereal cs.CC 65 8 years ago
90 Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation
Ryan Williams
🔮 The Ethereal cs.CC 64 10 years ago
91 Faster Algorithms for Integer Programs with Block Structure
Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein
🔮 The Ethereal cs.DM 64 8 years ago
92 Communication Complexity (for Algorithm Designers)
Tim Roughgarden
🔮 The Ethereal cs.CC 63 10 years ago
93 Guarded Dependent Type Theory with Coinductive Types
Aleš Bizjak, Hans Bugge Grathwohl, ... (+3 more)
🔮 The Ethereal cs.LO 63 10 years ago
94 Unique End of Potential Line
John Fearnley, Spencer Gordon, ... (+2 more)
🔮 The Ethereal cs.CC 63 7 years ago
95 Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Ruediger Ehlers, Ufuk Topcu
🔮 The Ethereal cs.LO 62 11 years ago
96 A Mathematical Theory of Co-Design
Andrea Censi
🔮 The Ethereal cs.LO 61 10 years ago
97 Complexity of Token Swapping and its Variants
Édouard Bonnet, Tillmann Miltzow, Paweł Rzążewski
🔮 The Ethereal cs.CC 61 9 years ago
98 On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product
Lijie Chen
🔮 The Ethereal cs.CC 61 8 years ago
99 Binary linear complementary dual codes
Masaaki Harada, Ken Saito
🔮 The Ethereal math.CO 61 8 years ago
100 Information-theoretic and algorithmic thresholds for group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
🔮 The Ethereal cs.DM 61 7 years ago