💀 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 Improved Non-Malleable Extractors, Non-Malleable Codes and Independent Source Extractors
Xin Li
🔮 The Ethereal cs.CC 117 9 years ago
52 Generalized Twisted Gabidulin Codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 114 10 years ago
53 Hardness of Approximate Nearest Neighbor Search
Aviad Rubinstein
🔮 The Ethereal cs.CC 112 8 years ago
54 Which Regular Expression Patterns are Hard to Match?
Arturs Backurs, Piotr Indyk
🔮 The Ethereal cs.CC 109 10 years ago
55 Characterizing Complex Networks with Forman-Ricci Curvature and Associated Geometric Flows
Melanie Weber, Emil Saucan, Jürgen Jost
🔮 The Ethereal cs.DM 107 9 years ago
56 Proving Differential Privacy via Probabilistic Couplings
Gilles Barthe, Marco Gaboardi, ... (+3 more)
🔮 The Ethereal cs.LO 106 10 years ago
57 Red-blue pebbling revisited: near optimal parallel matrix-matrix multiplication
Grzegorz Kwasniewski, Marko Kabić, ... (+4 more)
🔮 The Ethereal cs.CC 106 6 years ago
58 APX-Hardness of Maximizing Nash Social Welfare with Indivisible Items
Euiwoong Lee
🔮 The Ethereal cs.CC 105 11 years ago
59 Algorithmic and optimization aspects of Brascamp-Lieb inequalities, via Operator Scaling
Ankit Garg, Leonid Gurvits, ... (+2 more)
🔮 The Ethereal cs.CC 105 9 years ago
60 When can Graph Hyperbolicity be computed in Linear Time?
Till Fluschnik, Christian Komusiewicz, ... (+4 more)
🔮 The Ethereal cs.CC 105 9 years ago
61 Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 103 10 years ago
62 Graph Spanners: A Tutorial Review
Reyan Ahmed, Greg Bodwin, ... (+5 more)
🔮 The Ethereal cs.DM 99 6 years ago
63 ENIGMA: Efficient Learning-based Inference Guiding Machine
Jan Jakubův, Josef Urban
🔮 The Ethereal cs.LO 98 9 years ago
64 On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm
Khiem Pham, Khang Le, ... (+3 more)
🔮 The Ethereal cs.CC 98 6 years ago
65 How to refute a random CSP
Sarah R. Allen, Ryan O'Donnell, David Witmer
🔮 The Ethereal cs.CC 95 11 years ago
66 Tables of subspace codes
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
🔮 The Ethereal math.CO 94 10 years ago
67 Symbolic LTLf Synthesis
Shufang Zhu, Lucas M. Tabajara, ... (+3 more)
🔮 The Ethereal cs.LO 93 9 years ago
68 Classification of weighted networks through mesoscale homological features
Ann Sizemore, Chad Giusti, Danielle Bassett
🔮 The Ethereal math.CO 92 10 years ago
69 Bipartite Perfect Matching is in quasi-NC
Stephen A. Fenner, Rohit Gurjar, Thomas Thierauf
🔮 The Ethereal cs.CC 91 10 years ago
70 The Complexity of Gradient Descent: CLS = PPAD $\cap$ PLS
John Fearnley, Paul W. Goldberg, ... (+2 more)
🔮 The Ethereal cs.CC 90 5 years ago
71 Flow Smoothing and Denoising: Graph Signal Processing in the Edge-Space
Michael T. Schaub, Santiago Segarra
🔮 The Ethereal cs.DM 89 7 years ago
72 A Domain Theory for Statistical Probabilistic Programming
Matthijs Vákár, Ohad Kammar, Sam Staton
🔮 The Ethereal cs.LO 87 7 years ago
73 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
74 DEEP-FRI: Sampling outside the box improves soundness
Eli Ben-Sasson, Lior Goldberg, ... (+2 more)
🔮 The Ethereal cs.CC 84 7 years ago
75 On a conjecture of Sokal concerning roots of the independence polynomial
Han Peters, Guus Regts
🔮 The Ethereal math.CO 83 9 years ago
76 QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin, Steve Zdancewic
🔮 The Ethereal cs.LO 82 8 years ago
77 Measurable Cones and Stable, Measurable Functions
Thomas Ehrhard, Michele Pagani, Christine Tasson
🔮 The Ethereal cs.LO 81 8 years ago
78 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
79 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
80 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
81 Complexity of Training ReLU Neural Network
Digvijay Boob, Santanu S. Dey, Guanghui Lan
🔮 The Ethereal cs.CC 79 7 years ago
82 Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, ... (+2 more)
🔮 The Ethereal cs.LO 78 11 years ago
83 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
84 Recurrent Neural Networks as Weighted Language Recognizers
Yining Chen, Sorcha Gilroy, ... (+3 more)
🔮 The Ethereal cs.FL 78 8 years ago
85 Multivariate Fine-Grained Complexity of Longest Common Subsequence
Karl Bringmann, Marvin Künnemann
🔮 The Ethereal cs.CC 78 8 years ago
86 The Institutional Approach
Robert E. Kent
🔮 The Ethereal cs.LO 78 7 years ago
87 A Box Decomposition Algorithm to Compute the Hypervolume Indicator
Renaud Lacour, Kathrin Klamroth, Carlos M. Fonseca
🔮 The Ethereal cs.DM 77 10 years ago
88 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
89 Optimal mean-based algorithms for trace reconstruction
Anindya De, Ryan O'Donnell, Rocco Servedio
🔮 The Ethereal cs.CC 77 9 years ago
90 Causal Inference by String Diagram Surgery
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
🔮 The Ethereal cs.LO 75 7 years ago
91 A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, ... (+4 more)
🔮 The Ethereal cs.LO 74 10 years ago
92 Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness
Igor C. Oliveira, Rahul Santhanam
🔮 The Ethereal cs.CC 74 9 years ago
93 The Model Counting Competition 2020
Johannes K. Fichte, Markus Hecher, Florim Hamiti
🔮 The Ethereal cs.LO 74 5 years ago
94 A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening
Gecia Bravo-Hermsdorff, Lee M. Gunderson
🔮 The Ethereal cs.DM 72 7 years ago
95 Statistical Query Algorithms and Low-Degree Tests Are Almost Equivalent
Matthew Brennan, Guy Bresler, ... (+3 more)
🔮 The Ethereal cs.CC 72 5 years ago
96 Separators in region intersection graphs
James R. Lee
🔮 The Ethereal math.CO 71 9 years ago
97 On kernels and nuclei of rank metric codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 69 10 years ago
98 Three-Source Extractors for Polylogarithmic Min-Entropy
Xin Li
🔮 The Ethereal cs.CC 68 11 years ago
99 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
100 Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, ... (+3 more)
🔮 The Ethereal cs.LO 67 8 years ago