💀 The Wall of Shame

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

Page 3, showing 11 papers

# Paper Cause of Death Category Citations Published
101 Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, ... (+2 more)
👻 Ghosted cs.LG 1 2 years ago
102 The SemGuS Toolkit
Keith J. C. Johnson, Andrew Reynolds, ... (+2 more)
👻 Ghosted cs.PL 1 1 year ago
103 Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
Shaowei Zhu, Zachary Kincaid
👻 Ghosted cs.PL 1 1 year ago
104 Verifying Tree-Manipulating Programs via CHCs
Marco Faella, Gennaro Parlato
👻 Ghosted cs.PL 1 1 year ago
105 Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
👻 Ghosted cs.SE 1 11 months ago
106 Strided Difference Bound Matrices
Arjun Pitchanathan, Albert Cohen, ... (+2 more)
👻 Ghosted cs.SC 0 2 years ago
107 Verifying Cake-Cutting, Faster
Noah Bertram, Tean Lai, Justin Hsu
👻 Ghosted cs.GT 0 2 years ago
108 StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
👻 Ghosted cs.SE 0 2 years ago
109 A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler, Hira Taqdees Syeda, Toby Murray
👻 Ghosted cs.PL 0 1 year ago
110 Data-driven Verification of Procedural Programs with Integer Arrays
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
👻 Ghosted cs.PL 0 1 year ago
111 On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
👻 Ghosted cs.DB 0 1 year ago