| 51 |
Improved Non-Malleable Extractors, Non-Malleable Codes and Independent Source Extractors
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
117 |
9 years ago |
| 52 |
Generalized Twisted Gabidulin Codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
114 |
10 years ago |
| 53 |
Hardness of Approximate Nearest Neighbor Search
Aviad Rubinstein
|
🔮
The Ethereal
|
cs.CC
|
112 |
8 years ago |
| 54 |
Which Regular Expression Patterns are Hard to Match?
Arturs Backurs, Piotr Indyk
|
🔮
The Ethereal
|
cs.CC
|
109 |
10 years ago |
| 55 |
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 |
| 56 |
Proving Differential Privacy via Probabilistic Couplings
Gilles Barthe, Marco Gaboardi, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
106 |
10 years ago |
| 57 |
Red-blue pebbling revisited: near optimal parallel matrix-matrix multiplication
Grzegorz Kwasniewski, Marko Kabić, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
106 |
6 years ago |
| 58 |
APX-Hardness of Maximizing Nash Social Welfare with Indivisible Items
Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
105 |
11 years ago |
| 59 |
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 |
| 60 |
When can Graph Hyperbolicity be computed in Linear Time?
Till Fluschnik, Christian Komusiewicz, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
105 |
9 years ago |
| 61 |
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 |
| 62 |
Graph Spanners: A Tutorial Review
Reyan Ahmed, Greg Bodwin, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
99 |
6 years ago |
| 63 |
ENIGMA: Efficient Learning-based Inference Guiding Machine
Jan Jakubův, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
98 |
9 years ago |
| 64 |
On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm
Khiem Pham, Khang Le, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
98 |
6 years ago |
| 65 |
How to refute a random CSP
Sarah R. Allen, Ryan O'Donnell, David Witmer
|
🔮
The Ethereal
|
cs.CC
|
95 |
11 years ago |
| 66 |
Tables of subspace codes
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
94 |
10 years ago |
| 67 |
Symbolic LTLf Synthesis
Shufang Zhu, Lucas M. Tabajara, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
93 |
9 years ago |
| 68 |
Classification of weighted networks through mesoscale homological features
Ann Sizemore, Chad Giusti, Danielle Bassett
|
🔮
The Ethereal
|
math.CO
|
92 |
10 years ago |
| 69 |
Bipartite Perfect Matching is in quasi-NC
Stephen A. Fenner, Rohit Gurjar, Thomas Thierauf
|
🔮
The Ethereal
|
cs.CC
|
91 |
10 years ago |
| 70 |
The Complexity of Gradient Descent: CLS = PPAD $\cap$ PLS
John Fearnley, Paul W. Goldberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
90 |
5 years ago |
| 71 |
Flow Smoothing and Denoising: Graph Signal Processing in the Edge-Space
Michael T. Schaub, Santiago Segarra
|
🔮
The Ethereal
|
cs.DM
|
89 |
7 years ago |
| 72 |
A Domain Theory for Statistical Probabilistic Programming
Matthijs Vákár, Ohad Kammar, Sam Staton
|
🔮
The Ethereal
|
cs.LO
|
87 |
7 years ago |
| 73 |
Improved Sum-of-Squares Lower Bounds for Hidden Clique and Hidden Submatrix Problems
Yash Deshpande, Andrea Montanari
|
🔮
The Ethereal
|
cs.CC
|
85 |
11 years ago |
| 74 |
DEEP-FRI: Sampling outside the box improves soundness
Eli Ben-Sasson, Lior Goldberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
84 |
7 years ago |
| 75 |
On a conjecture of Sokal concerning roots of the independence polynomial
Han Peters, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
83 |
9 years ago |
| 76 |
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin, Steve Zdancewic
|
🔮
The Ethereal
|
cs.LO
|
82 |
8 years ago |
| 77 |
Measurable Cones and Stable, Measurable Functions
Thomas Ehrhard, Michele Pagani, Christine Tasson
|
🔮
The Ethereal
|
cs.LO
|
81 |
8 years ago |
| 78 |
On the Fine-grained Complexity of One-Dimensional Dynamic Programming
Marvin Künnemann, Ramamohan Paturi, Stefan Schneider
|
🔮
The Ethereal
|
cs.CC
|
80 |
9 years ago |
| 79 |
QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer, Karl Palmskog, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
80 |
6 years ago |
| 80 |
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
79 |
9 years ago |
| 81 |
Complexity of Training ReLU Neural Network
Digvijay Boob, Santanu S. Dey, Guanghui Lan
|
🔮
The Ethereal
|
cs.CC
|
79 |
7 years ago |
| 82 |
Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
78 |
11 years ago |
| 83 |
Approximating Rectangles by Juntas and Weakly-Exponential Lower Bounds for LP Relaxations of CSPs
Pravesh K. Kothari, Raghu Meka, Prasad Raghavendra
|
🔮
The Ethereal
|
cs.CC
|
78 |
9 years ago |
| 84 |
Recurrent Neural Networks as Weighted Language Recognizers
Yining Chen, Sorcha Gilroy, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
78 |
8 years ago |
| 85 |
Multivariate Fine-Grained Complexity of Longest Common Subsequence
Karl Bringmann, Marvin Künnemann
|
🔮
The Ethereal
|
cs.CC
|
78 |
8 years ago |
| 86 |
The Institutional Approach
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
78 |
7 years ago |
| 87 |
A Box Decomposition Algorithm to Compute the Hypervolume Indicator
Renaud Lacour, Kathrin Klamroth, Carlos M. Fonseca
|
🔮
The Ethereal
|
cs.DM
|
77 |
10 years ago |
| 88 |
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
77 |
9 years ago |
| 89 |
Optimal mean-based algorithms for trace reconstruction
Anindya De, Ryan O'Donnell, Rocco Servedio
|
🔮
The Ethereal
|
cs.CC
|
77 |
9 years ago |
| 90 |
Causal Inference by String Diagram Surgery
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
|
🔮
The Ethereal
|
cs.LO
|
75 |
7 years ago |
| 91 |
A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
74 |
10 years ago |
| 92 |
Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness
Igor C. Oliveira, Rahul Santhanam
|
🔮
The Ethereal
|
cs.CC
|
74 |
9 years ago |
| 93 |
The Model Counting Competition 2020
Johannes K. Fichte, Markus Hecher, Florim Hamiti
|
🔮
The Ethereal
|
cs.LO
|
74 |
5 years ago |
| 94 |
A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening
Gecia Bravo-Hermsdorff, Lee M. Gunderson
|
🔮
The Ethereal
|
cs.DM
|
72 |
7 years ago |
| 95 |
Statistical Query Algorithms and Low-Degree Tests Are Almost Equivalent
Matthew Brennan, Guy Bresler, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
72 |
5 years ago |
| 96 |
Separators in region intersection graphs
James R. Lee
|
🔮
The Ethereal
|
math.CO
|
71 |
9 years ago |
| 97 |
On kernels and nuclei of rank metric codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
69 |
10 years ago |
| 98 |
Three-Source Extractors for Polylogarithmic Min-Entropy
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
68 |
11 years ago |
| 99 |
The backtracking survey propagation algorithm for solving random K-SAT problems
Raffaele Marino, Giorgio Parisi, Federico Ricci-Tersenghi
|
🔮
The Ethereal
|
cs.CC
|
67 |
10 years ago |
| 100 |
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
67 |
8 years ago |