💀 The Wall of Shame

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

Page 1, showing 50 papers

# Paper Cause of Death Category Citations Published
1 Evolving Algebras 1993: Lipari Guide
Yuri Gurevich
🔮 The Ethereal cs.LO 863 7 years ago
2 Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, ... (+4 more)
🔮 The Ethereal cs.LO 806 8 years ago
3 Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Ruediger Ehlers
🔮 The Ethereal cs.LO 671 8 years ago
4 A concise guide to existing and emerging vehicle routing problem variants
Thibaut Vidal, Gilbert Laporte, Piotr Matl
🔮 The Ethereal cs.DM 274 6 years ago
5 An Introduction to Temporal Graphs: An Algorithmic Perspective
Othon Michail
🔮 The Ethereal cs.DM 264 11 years ago
6 Quadratic Conditional Lower Bounds for String Problems and Dynamic Time Warping
Karl Bringmann, Marvin Künnemann
🔮 The Ethereal cs.CC 259 11 years ago
7 Guarantees for Greedy Maximization of Non-submodular Functions with Applications
Andrew An Bian, Joachim M. Buhmann, ... (+2 more)
🔮 The Ethereal cs.DM 254 9 years ago
8 A note on the triangle inequality for the Jaccard distance
Sven Kosub
🔮 The Ethereal cs.DM 239 9 years ago
9 Heterogeneous substitution systems revisited
Benedikt Ahrens, Ralph Matthes
🔮 The Ethereal cs.LO 183 10 years ago
10 An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
Yi-Jun Chang, Tsvi Kopelowitz, Seth Pettie
🔮 The Ethereal cs.CC 177 10 years ago
11 Fast clique minor generation in Chimera qubit connectivity graphs
Kelly Boothby, Andrew D. King, Aidan Roy
🔮 The Ethereal cs.DM 175 10 years ago
12 Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck, Marie Farrell, ... (+3 more)
🔮 The Ethereal cs.FL 171 7 years ago
13 The Parallelism Tradeoff: Limitations of Log-Precision Transformers
William Merrill, Ashish Sabharwal
🔮 The Ethereal cs.CC 171 3 years ago
14 The Hardness of Approximation of Euclidean k-means
Pranjal Awasthi, Moses Charikar, ... (+2 more)
🔮 The Ethereal cs.CC 162 11 years ago
15 Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, ... (+4 more)
🔮 The Ethereal cs.LO 160 7 years ago
16 Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations
Rong Su
🔮 The Ethereal cs.FL 151 9 years ago
17 Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials
Viresh Patel, Guus Regts
🔮 The Ethereal math.CO 148 9 years ago
18 Slightly Superexponential Parameterized Problems
Daniel Lokshtanov, Daniel Marx, Saket Saurabh
🔮 The Ethereal cs.CC 147 7 years ago
19 Complexity Theoretic Limitations on Learning Halfspaces
Amit Daniely
🔮 The Ethereal cs.CC 146 10 years ago
20 Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, ... (+2 more)
🔮 The Ethereal cs.LO 145 10 years ago
21 Optimal Mixing of Glauber Dynamics: Entropy Factorization via High-Dimensional Expansion
Zongchen Chen, Kuikui Liu, Eric Vigoda
🔮 The Ethereal cs.DM 142 5 years ago
22 A Complete Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
🔮 The Ethereal cs.LO 140 10 years ago
23 On cap sets and the group-theoretic approach to matrix multiplication
Jonah Blasiak, Thomas Church, ... (+5 more)
🔮 The Ethereal math.CO 140 9 years ago
24 The Computer Science and Physics of Community Detection: Landscapes, Phase Transitions, and Hardness
Cristopher Moore
🔮 The Ethereal cs.CC 136 9 years ago
25 An Abstraction-Based Framework for Neural Network Verification
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
🔮 The Ethereal cs.FL 135 6 years ago
26 Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
Andrea Lattuada, Travis Hance, ... (+7 more)
🔮 The Ethereal cs.LO 134 3 years ago
27 If the Current Clique Algorithms are Optimal, so is Valiant's Parser
Amir Abboud, Arturs Backurs, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 129 10 years ago
28 Simulating Branching Programs with Edit Distance and Friends or: A Polylog Shaved is a Lower Bound Made
Amir Abboud, Thomas Dueholm Hansen, ... (+2 more)
🔮 The Ethereal cs.CC 125 10 years ago
29 Reducibility and Computational Lower Bounds for Problems with Planted Sparse Structure
Matthew Brennan, Guy Bresler, Wasim Huleihel
🔮 The Ethereal cs.CC 120 7 years ago
30 Sum-of-squares lower bounds for planted clique
Raghu Meka, Aaron Potechin, Avi Wigderson
🔮 The Ethereal cs.CC 119 11 years ago
31 Twin-width II: small classes
Édouard Bonnet, Colin Geniet, ... (+3 more)
🔮 The Ethereal cs.DM 119 5 years ago
32 Backprop as Functor: A compositional perspective on supervised learning
Brendan Fong, David I. Spivak, Rémy Tuyéras
🔮 The Ethereal math.CT 118 8 years ago
33 Improved Non-Malleable Extractors, Non-Malleable Codes and Independent Source Extractors
Xin Li
🔮 The Ethereal cs.CC 117 9 years ago
34 Generalized Twisted Gabidulin Codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 114 10 years ago
35 Hardness of Approximate Nearest Neighbor Search
Aviad Rubinstein
🔮 The Ethereal cs.CC 112 8 years ago
36 Which Regular Expression Patterns are Hard to Match?
Arturs Backurs, Piotr Indyk
🔮 The Ethereal cs.CC 109 10 years ago
37 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
38 Proving Differential Privacy via Probabilistic Couplings
Gilles Barthe, Marco Gaboardi, ... (+3 more)
🔮 The Ethereal cs.LO 106 10 years ago
39 Red-blue pebbling revisited: near optimal parallel matrix-matrix multiplication
Grzegorz Kwasniewski, Marko Kabić, ... (+4 more)
🔮 The Ethereal cs.CC 106 6 years ago
40 APX-Hardness of Maximizing Nash Social Welfare with Indivisible Items
Euiwoong Lee
🔮 The Ethereal cs.CC 105 10 years ago
41 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
42 When can Graph Hyperbolicity be computed in Linear Time?
Till Fluschnik, Christian Komusiewicz, ... (+4 more)
🔮 The Ethereal cs.CC 105 9 years ago
43 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
44 Graph Spanners: A Tutorial Review
Reyan Ahmed, Greg Bodwin, ... (+5 more)
🔮 The Ethereal cs.DM 99 6 years ago
45 ENIGMA: Efficient Learning-based Inference Guiding Machine
Jan Jakubův, Josef Urban
🔮 The Ethereal cs.LO 98 9 years ago
46 On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm
Khiem Pham, Khang Le, ... (+3 more)
🔮 The Ethereal cs.CC 98 6 years ago
47 How to refute a random CSP
Sarah R. Allen, Ryan O'Donnell, David Witmer
🔮 The Ethereal cs.CC 95 10 years ago
48 Tables of subspace codes
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
🔮 The Ethereal math.CO 94 10 years ago
49 Symbolic LTLf Synthesis
Shufang Zhu, Lucas M. Tabajara, ... (+3 more)
🔮 The Ethereal cs.LO 93 8 years ago
50 Classification of weighted networks through mesoscale homological features
Ann Sizemore, Chad Giusti, Danielle Bassett
🔮 The Ethereal math.CO 92 10 years ago