💀 The Wall of Shame

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

Page 3, showing 50 papers

# Paper Cause of Death Category Citations Published
101 Super-Linear Gate and Super-Quadratic Wire Lower Bounds for Depth-Two and Depth-Three Threshold Circuits
Daniel M. Kane, Ryan Williams
🔮 The Ethereal cs.CC 60 10 years ago
102 Sparsity Measure of a Network Graph: Gini Index
Swati Goswami, C. A. Murthy, Asit K. Das
🔮 The Ethereal cs.DM 60 9 years ago
103 Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
🔮 The Ethereal cs.LO 60 8 years ago
104 The complexity of dominating set reconfiguration
Arash Haddadan, Takehiro Ito, ... (+5 more)
🔮 The Ethereal cs.DM 59 11 years ago
105 Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, ... (+2 more)
🔮 The Ethereal cs.LO 59 10 years ago
106 Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
Qingxiang Wang, Chad Brown, ... (+2 more)
🔮 The Ethereal cs.LO 59 6 years ago
107 Minimal linear codes in odd characteristic
Daniele Bartoli, Matteo Bonini
🔮 The Ethereal math.CO 57 7 years ago
108 Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
🔮 The Ethereal cs.LO 57 7 years ago
109 Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Martins, Vasco Manquinho
🔮 The Ethereal cs.LO 56 10 years ago
110 Structural Parameters, Tight Bounds, and Approximation for (k,r)-Center
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
🔮 The Ethereal cs.CC 56 8 years ago
111 Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm
Tianyi Lin, Nhat Ho, ... (+3 more)
🔮 The Ethereal cs.CC 56 6 years ago
112 Continuous LWE
Joan Bruna, Oded Regev, ... (+2 more)
🔮 The Ethereal cs.CC 56 5 years ago
113 A Polynomial Lower Bound for Testing Monotonicity
Aleksandrs Belovs, Eric Blais
🔮 The Ethereal cs.CC 54 10 years ago
114 Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, ... (+3 more)
🔮 The Ethereal cs.LO 54 10 years ago
115 Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions
Xin Li
🔮 The Ethereal cs.CC 54 7 years ago
116 Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Anvesh Komuravelli, Nikolaj Bjorner, ... (+2 more)
🔮 The Ethereal cs.LO 53 10 years ago
117 Definability equals recognizability for graphs of bounded treewidth
Mikołaj Bojańczyk, Michał Pilipczuk
🔮 The Ethereal cs.LO 53 9 years ago
118 Resolving Distributed Knowledge
Thomas Ågotnes, Yì N. Wáng
🔮 The Ethereal cs.LO 53 9 years ago
119 Column subset selection is NP-complete
Yaroslav Shitov
🔮 The Ethereal math.CO 53 9 years ago
120 Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
Josh Alman, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 53 7 years ago
121 Subtree Isomorphism Revisited
Amir Abboud, Arturs Backurs, ... (+3 more)
🔮 The Ethereal cs.CC 52 10 years ago
122 HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Kshitij Bansal, Sarah M. Loos, ... (+3 more)
🔮 The Ethereal cs.LO 52 6 years ago
123 On the c-differential uniformity of certain maps over finite fields
Sartaj Ul Hasan, Mohit Pal, ... (+2 more)
🔮 The Ethereal math.CO 52 5 years ago
124 Rank-width: Algorithmic and structural results
Sang-il Oum
🔮 The Ethereal math.CO 51 10 years ago
125 Drift Analysis and Evolutionary Algorithms Revisited
Johannes Lengler, Angelika Steger
🔮 The Ethereal math.CO 51 9 years ago
126 A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, ... (+2 more)
🔮 The Ethereal cs.LO 51 8 years ago
127 Differential Equation Invariance Axiomatization
André Platzer, Yong Kiam Tan
🔮 The Ethereal cs.LO 51 6 years ago
128 DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, ... (+2 more)
🔮 The Ethereal cs.LO 51 5 years ago
129 Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
🔮 The Ethereal cs.FL 50 9 years ago
130 ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, ... (+2 more)
🔮 The Ethereal cs.LO 50 7 years ago
131 Track Layouts, Layered Path Decompositions, and Leveled Planarity
Michael J. Bannister, William E. Devanny, ... (+3 more)
🔮 The Ethereal math.CO 49 10 years ago
132 Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+3 more)
🔮 The Ethereal cs.LO 49 8 years ago
133 Computing Maximum Matchings in Temporal Graphs
George B. Mertzios, Hendrik Molter, ... (+3 more)
🔮 The Ethereal cs.DM 49 6 years ago
134 Coding for Sunflowers
Anup Rao
🔮 The Ethereal math.CO 49 6 years ago
135 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Alois Brunel, Damiano Mazza, Michele Pagani
🔮 The Ethereal cs.LO 49 6 years ago
136 Grid Induced Minor Theorem for Graphs of Small Degree
Tuukka Korhonen
🔮 The Ethereal math.CO 49 4 years ago
137 Coset Construction for Subspace Codes
Daniel Heinlein, Sascha Kurz
🔮 The Ethereal math.CO 48 10 years ago
138 Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms
Arturs Backurs, Christos Tzamos
🔮 The Ethereal cs.CC 48 9 years ago
139 Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams
Michael Kapralov, Jelani Nelson, ... (+4 more)
🔮 The Ethereal cs.CC 48 8 years ago
140 Weakly Submodular Maximization Beyond Cardinality Constraints: Does Randomization Help Greedy?
Lin Chen, Moran Feldman, Amin Karbasi
🔮 The Ethereal cs.DM 48 8 years ago
141 Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
André Platzer, Yong Kiam Tan
🔮 The Ethereal cs.LO 48 8 years ago
142 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Steffen Smolka, Nate Foster, ... (+4 more)
🔮 The Ethereal cs.LO 48 6 years ago
143 A Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
🔮 The Ethereal cs.LO 47 11 years ago
144 Isomorphism Testing for Graphs of Bounded Rank Width
Martin Grohe, Pascal Schweitzer
🔮 The Ethereal cs.DM 47 10 years ago
145 Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
🔮 The Ethereal cs.DM 47 7 years ago
146 Answer Set Solving with Bounded Treewidth Revisited
Johannes Fichte, Markus Hecher, ... (+2 more)
🔮 The Ethereal cs.LO 46 9 years ago
147 Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, ... (+4 more)
🔮 The Ethereal cs.LO 46 9 years ago
148 Finding Cliques in Social Networks: A New Distribution-Free Model
Jacob Fox, Tim Roughgarden, ... (+3 more)
🔮 The Ethereal math.CO 46 7 years ago
149 A 1.5-Approximation for Path TSP
Rico Zenklusen
🔮 The Ethereal cs.DM 46 7 years ago
150 A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, ... (+2 more)
🔮 The Ethereal cs.LO 46 7 years ago