| 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 |