💀 The Wall of Shame

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

Page 12, showing 50 papers

# Paper Cause of Death Category Citations Published
551 Does robustness imply tractability? A lower bound for planted clique in the semi-random model
Jacob Steinhardt
🔮 The Ethereal cs.CC 19 9 years ago
552 Lower Bound On the Computational Complexity of Discounted Markov Decision Problems
Yichen Chen, Mengdi Wang
🔮 The Ethereal cs.CC 19 9 years ago
553 Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs
Amit Levi, Erik Waingarten
🔮 The Ethereal cs.CC 19 8 years ago
554 Everybody's Got To Be Somewhere
Conor McBride
🔮 The Ethereal cs.LO 19 8 years ago
555 Reasoning in Bayesian Opinion Exchange Networks Is PSPACE-Hard
Jan Hązła, Ali Jadbabaie, ... (+2 more)
🔮 The Ethereal cs.CC 19 7 years ago
556 A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, ... (+3 more)
🔮 The Ethereal cs.LO 19 7 years ago
557 The Demand Query Model for Bipartite Matching
Noam Nisan
🔮 The Ethereal cs.CC 19 7 years ago
558 Verifying that a compiler preserves concurrent value-dependent information-flow security
Robert Sison, Toby Murray
🔮 The Ethereal cs.LO 19 7 years ago
559 Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, ... (+2 more)
🔮 The Ethereal cs.LO 19 7 years ago
560 Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
🔮 The Ethereal cs.LO 19 6 years ago
561 Aggregate Queries on Sparse Databases
Szymon Toruńczyk
🔮 The Ethereal cs.LO 19 6 years ago
562 Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, ... (+2 more)
🔮 The Ethereal cs.LO 19 6 years ago
563 Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
🔮 The Ethereal cs.LO 19 6 years ago
564 Equitable Scheduling on a Single Machine
Klaus Heeger, Danny Hermelin, ... (+4 more)
🔮 The Ethereal cs.DM 19 5 years ago
565 On cutting blocking sets and their codes
Daniele Bartoli, Antonio Cossidente, ... (+2 more)
🔮 The Ethereal math.CO 19 5 years ago
566 Linearly ordered colourings of hypergraphs
Tamio-Vesa Nakajima, Stanislav Živný
🔮 The Ethereal cs.CC 19 4 years ago
567 Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
🔮 The Ethereal cs.LO 19 3 years ago
568 Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
🔮 The Ethereal cs.CC 19 3 years ago
569 Strong blocking sets and minimal codes from expander graphs
Noga Alon, Anurag Bishnoi, ... (+2 more)
🔮 The Ethereal math.CO 19 3 years ago
570 Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
🔮 The Ethereal cs.FL 19 3 years ago
571 Eigenvalue Bounds for Sum-Rank-Metric Codes
Aida Abiad, Antonina P. Khramova, Alberto Ravagnani
🔮 The Ethereal math.CO 19 2 years ago
572 Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, ... (+2 more)
🔮 The Ethereal cs.FL 19 2 years ago
573 Variable and value elimination in binary constraint satisfaction via forbidden patterns
David A. Cohen, Martin C. Cooper, ... (+2 more)
🔮 The Ethereal cs.CC 18 11 years ago
574 Computing with Tangles
Martin Grohe, Pascal Schweitzer
🔮 The Ethereal cs.DM 18 11 years ago
575 PDE Approaches to Graph Analysis
Justin Solomon
🔮 The Ethereal cs.DM 18 11 years ago
576 All or Nothing at All
Paolo D'Arco, Navid Nasr Esfahani, Douglas R. Stinson
🔮 The Ethereal math.CO 18 10 years ago
577 Protection of flows under targeted attacks
Jannik Matuschke, S. Thomas McCormick, ... (+3 more)
🔮 The Ethereal cs.DM 18 10 years ago
578 On universal partial words
Herman Z. Q. Chen, Sergey Kitaev, ... (+2 more)
🔮 The Ethereal math.CO 18 10 years ago
579 Noisy population recovery in polynomial time
Anindya De, Michael Saks, Sijian Tang
🔮 The Ethereal cs.CC 18 10 years ago
580 Perfect snake-in-the-box codes for rank modulation
Alexander E. Holroyd
🔮 The Ethereal math.CO 18 10 years ago
581 Shotgun Assembly of Random Jigsaw Puzzles
Charles Bordenave, Uriel Feige, Elchanan Mossel
🔮 The Ethereal math.CO 18 10 years ago
582 Hardness of Permutation Pattern Matching
Vít Jelínek, Jan Kynčl
🔮 The Ethereal math.CO 18 9 years ago
583 On the Group and Color Isomorphism Problems
François Le Gall, David J. Rosenbaum
🔮 The Ethereal cs.CC 18 9 years ago
584 Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
Fabian Reiter
🔮 The Ethereal cs.FL 18 9 years ago
585 The flip Markov chain for connected regular graphs
Colin Cooper, Martin Dyer, ... (+2 more)
🔮 The Ethereal cs.DM 18 9 years ago
586 Optimal Data Reduction for Graph Coloring Using Low-Degree Polynomials
Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 18 8 years ago
587 Priority Evacuation from a Disk Using Mobile Robots
J. Czyzowicz, K. Georgiou, ... (+6 more)
🔮 The Ethereal cs.DM 18 8 years ago
588 Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Alexander Semenov, Ilya Otpuschennikov, ... (+3 more)
🔮 The Ethereal cs.LO 18 8 years ago
589 Correlation Clustering Generalized
David F. Gleich, Nate Veldt, Anthony Wirth
🔮 The Ethereal cs.CC 18 7 years ago
590 Debugging Smart Contract's Business Logic Using Symbolic Model-Checking
Evgeniy Shishkin
🔮 The Ethereal cs.LO 18 7 years ago
591 Determinantal conditions for homomorphic sensing
Manolis C. Tsakiris
🔮 The Ethereal math.CO 18 7 years ago
592 Token Swapping on Trees
Ahmad Biniaz, Kshitij Jain, ... (+7 more)
🔮 The Ethereal cs.CC 18 7 years ago
593 SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
🔮 The Ethereal cs.LO 18 7 years ago
594 Towards Finding Longer Proofs
Zsolt Zombori, Adrián Csiszárik, ... (+3 more)
🔮 The Ethereal cs.LO 18 7 years ago
595 Relative Hausdorff Distance for Network Analysis
Sinan G. Aksoy, Kathleen E. Nowak, ... (+2 more)
🔮 The Ethereal cs.DM 18 7 years ago
596 Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Shahin Kamali, Avery Miller, Kenny Zhang
🔮 The Ethereal math.CO 18 6 years ago
597 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
🔮 The Ethereal cs.LO 18 6 years ago
598 Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, ... (+2 more)
🔮 The Ethereal cs.LO 18 6 years ago
599 APX-Hardness and Approximation for the k-Burning Number Problem
Debajyoti Mondal, N. Parthiban, ... (+2 more)
🔮 The Ethereal cs.CC 18 6 years ago
600 Asymptotically Optimal Vertex Ranking of Planar Graphs
Prosenjit Bose, Vida Dujmović, ... (+2 more)
🔮 The Ethereal math.CO 18 6 years ago