💀 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 Optimal Low-Degree Hardness of Maximum Independent Set
Alexander S. Wein
🔮 The Ethereal cs.CC 67 5 years ago
102 Beating the random assignment on constraint satisfaction problems of bounded degree
Boaz Barak, Ankur Moitra, ... (+8 more)
🔮 The Ethereal cs.CC 66 11 years ago
103 TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, ... (+4 more)
🔮 The Ethereal cs.FL 66 7 years ago
104 Unfolding-based Partial Order Reduction
César Rodríguez, Marcelo Sousa, ... (+2 more)
🔮 The Ethereal cs.LO 65 11 years ago
105 Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, ... (+4 more)
🔮 The Ethereal cs.LO 65 10 years ago
106 Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method
Avi Levy, Harishchandra Ramadas, Thomas Rothvoss
🔮 The Ethereal cs.DM 65 9 years ago
107 A Zero Knowledge Sumcheck and its Applications
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
🔮 The Ethereal cs.CC 65 9 years ago
108 Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation
Ryan Williams
🔮 The Ethereal cs.CC 64 10 years ago
109 Faster Algorithms for Integer Programs with Block Structure
Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein
🔮 The Ethereal cs.DM 64 8 years ago
110 Communication Complexity (for Algorithm Designers)
Tim Roughgarden
🔮 The Ethereal cs.CC 63 10 years ago
111 Guarded Dependent Type Theory with Coinductive Types
Aleš Bizjak, Hans Bugge Grathwohl, ... (+3 more)
🔮 The Ethereal cs.LO 63 10 years ago
112 Unique End of Potential Line
John Fearnley, Spencer Gordon, ... (+2 more)
🔮 The Ethereal cs.CC 63 7 years ago
113 Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Ruediger Ehlers, Ufuk Topcu
🔮 The Ethereal cs.LO 62 11 years ago
114 A Mathematical Theory of Co-Design
Andrea Censi
🔮 The Ethereal cs.LO 61 10 years ago
115 Complexity of Token Swapping and its Variants
Édouard Bonnet, Tillmann Miltzow, Paweł Rzążewski
🔮 The Ethereal cs.CC 61 9 years ago
116 On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product
Lijie Chen
🔮 The Ethereal cs.CC 61 8 years ago
117 Binary linear complementary dual codes
Masaaki Harada, Ken Saito
🔮 The Ethereal math.CO 61 8 years ago
118 Information-theoretic and algorithmic thresholds for group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
🔮 The Ethereal cs.DM 61 7 years ago
119 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
120 Sparsity Measure of a Network Graph: Gini Index
Swati Goswami, C. A. Murthy, Asit K. Das
🔮 The Ethereal cs.DM 60 9 years ago
121 Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
🔮 The Ethereal cs.LO 60 9 years ago
122 The complexity of dominating set reconfiguration
Arash Haddadan, Takehiro Ito, ... (+5 more)
🔮 The Ethereal cs.DM 59 11 years ago
123 Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, ... (+2 more)
🔮 The Ethereal cs.LO 59 11 years ago
124 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
125 Minimal linear codes in odd characteristic
Daniele Bartoli, Matteo Bonini
🔮 The Ethereal math.CO 57 7 years ago
126 Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
🔮 The Ethereal cs.LO 57 7 years ago
127 Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Martins, Vasco Manquinho
🔮 The Ethereal cs.LO 56 11 years ago
128 Structural Parameters, Tight Bounds, and Approximation for (k,r)-Center
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
🔮 The Ethereal cs.CC 56 9 years ago
129 Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm
Tianyi Lin, Nhat Ho, ... (+3 more)
🔮 The Ethereal cs.CC 56 6 years ago
130 Continuous LWE
Joan Bruna, Oded Regev, ... (+2 more)
🔮 The Ethereal cs.CC 56 6 years ago
131 A Polynomial Lower Bound for Testing Monotonicity
Aleksandrs Belovs, Eric Blais
🔮 The Ethereal cs.CC 54 10 years ago
132 Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, ... (+3 more)
🔮 The Ethereal cs.LO 54 10 years ago
133 Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions
Xin Li
🔮 The Ethereal cs.CC 54 8 years ago
134 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
135 Definability equals recognizability for graphs of bounded treewidth
Mikołaj Bojańczyk, Michał Pilipczuk
🔮 The Ethereal cs.LO 53 10 years ago
136 Resolving Distributed Knowledge
Thomas Ågotnes, Yì N. Wáng
🔮 The Ethereal cs.LO 53 10 years ago
137 Column subset selection is NP-complete
Yaroslav Shitov
🔮 The Ethereal math.CO 53 9 years ago
138 Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
Josh Alman, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 53 7 years ago
139 Subtree Isomorphism Revisited
Amir Abboud, Arturs Backurs, ... (+3 more)
🔮 The Ethereal cs.CC 52 10 years ago
140 HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Kshitij Bansal, Sarah M. Loos, ... (+3 more)
🔮 The Ethereal cs.LO 52 7 years ago
141 On the c-differential uniformity of certain maps over finite fields
Sartaj Ul Hasan, Mohit Pal, ... (+2 more)
🔮 The Ethereal math.CO 52 6 years ago
142 Rank-width: Algorithmic and structural results
Sang-il Oum
🔮 The Ethereal math.CO 51 10 years ago
143 Drift Analysis and Evolutionary Algorithms Revisited
Johannes Lengler, Angelika Steger
🔮 The Ethereal math.CO 51 9 years ago
144 A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, ... (+2 more)
🔮 The Ethereal cs.LO 51 8 years ago
145 Differential Equation Invariance Axiomatization
André Platzer, Yong Kiam Tan
🔮 The Ethereal cs.LO 51 7 years ago
146 DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, ... (+2 more)
🔮 The Ethereal cs.LO 51 6 years ago
147 Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
🔮 The Ethereal cs.FL 50 10 years ago
148 ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, ... (+2 more)
🔮 The Ethereal cs.LO 50 7 years ago
149 Track Layouts, Layered Path Decompositions, and Leveled Planarity
Michael J. Bannister, William E. Devanny, ... (+3 more)
🔮 The Ethereal math.CO 49 11 years ago
150 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