| 51 |
Bipartite Perfect Matching is in quasi-NC
Stephen A. Fenner, Rohit Gurjar, Thomas Thierauf
|
🔮
The Ethereal
|
cs.CC
|
91 |
10 years ago |
| 52 |
The Complexity of Gradient Descent: CLS = PPAD $\cap$ PLS
John Fearnley, Paul W. Goldberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
90 |
5 years ago |
| 53 |
Flow Smoothing and Denoising: Graph Signal Processing in the Edge-Space
Michael T. Schaub, Santiago Segarra
|
🔮
The Ethereal
|
cs.DM
|
89 |
7 years ago |
| 54 |
A Domain Theory for Statistical Probabilistic Programming
Matthijs Vákár, Ohad Kammar, Sam Staton
|
🔮
The Ethereal
|
cs.LO
|
87 |
7 years ago |
| 55 |
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 |
| 56 |
DEEP-FRI: Sampling outside the box improves soundness
Eli Ben-Sasson, Lior Goldberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
84 |
7 years ago |
| 57 |
On a conjecture of Sokal concerning roots of the independence polynomial
Han Peters, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
83 |
9 years ago |
| 58 |
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin, Steve Zdancewic
|
🔮
The Ethereal
|
cs.LO
|
82 |
8 years ago |
| 59 |
Measurable Cones and Stable, Measurable Functions
Thomas Ehrhard, Michele Pagani, Christine Tasson
|
🔮
The Ethereal
|
cs.LO
|
81 |
8 years ago |
| 60 |
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 |
| 61 |
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 |
| 62 |
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 |
| 63 |
Complexity of Training ReLU Neural Network
Digvijay Boob, Santanu S. Dey, Guanghui Lan
|
🔮
The Ethereal
|
cs.CC
|
79 |
7 years ago |
| 64 |
Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
78 |
11 years ago |
| 65 |
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 |
| 66 |
Recurrent Neural Networks as Weighted Language Recognizers
Yining Chen, Sorcha Gilroy, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
78 |
8 years ago |
| 67 |
Multivariate Fine-Grained Complexity of Longest Common Subsequence
Karl Bringmann, Marvin Künnemann
|
🔮
The Ethereal
|
cs.CC
|
78 |
8 years ago |
| 68 |
The Institutional Approach
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
78 |
7 years ago |
| 69 |
A Box Decomposition Algorithm to Compute the Hypervolume Indicator
Renaud Lacour, Kathrin Klamroth, Carlos M. Fonseca
|
🔮
The Ethereal
|
cs.DM
|
77 |
10 years ago |
| 70 |
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 |
| 71 |
Optimal mean-based algorithms for trace reconstruction
Anindya De, Ryan O'Donnell, Rocco Servedio
|
🔮
The Ethereal
|
cs.CC
|
77 |
9 years ago |
| 72 |
Causal Inference by String Diagram Surgery
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
|
🔮
The Ethereal
|
cs.LO
|
75 |
7 years ago |
| 73 |
A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
74 |
10 years ago |
| 74 |
Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness
Igor C. Oliveira, Rahul Santhanam
|
🔮
The Ethereal
|
cs.CC
|
74 |
9 years ago |
| 75 |
The Model Counting Competition 2020
Johannes K. Fichte, Markus Hecher, Florim Hamiti
|
🔮
The Ethereal
|
cs.LO
|
74 |
5 years ago |
| 76 |
A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening
Gecia Bravo-Hermsdorff, Lee M. Gunderson
|
🔮
The Ethereal
|
cs.DM
|
72 |
7 years ago |
| 77 |
Statistical Query Algorithms and Low-Degree Tests Are Almost Equivalent
Matthew Brennan, Guy Bresler, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
72 |
5 years ago |
| 78 |
Separators in region intersection graphs
James R. Lee
|
🔮
The Ethereal
|
math.CO
|
71 |
9 years ago |
| 79 |
On kernels and nuclei of rank metric codes
Guglielmo Lunardon, Rocco Trombetti, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
69 |
9 years ago |
| 80 |
Three-Source Extractors for Polylogarithmic Min-Entropy
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
68 |
11 years ago |
| 81 |
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 |
| 82 |
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
67 |
8 years ago |
| 83 |
Optimal Low-Degree Hardness of Maximum Independent Set
Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
67 |
5 years ago |
| 84 |
Beating the random assignment on constraint satisfaction problems of bounded degree
Boaz Barak, Ankur Moitra, ... (+8 more)
|
🔮
The Ethereal
|
cs.CC
|
66 |
10 years ago |
| 85 |
TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
66 |
7 years ago |
| 86 |
Unfolding-based Partial Order Reduction
César Rodríguez, Marcelo Sousa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
65 |
10 years ago |
| 87 |
Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
65 |
9 years ago |
| 88 |
Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method
Avi Levy, Harishchandra Ramadas, Thomas Rothvoss
|
🔮
The Ethereal
|
cs.DM
|
65 |
9 years ago |
| 89 |
A Zero Knowledge Sumcheck and its Applications
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
|
🔮
The Ethereal
|
cs.CC
|
65 |
8 years ago |
| 90 |
Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation
Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
64 |
10 years ago |
| 91 |
Faster Algorithms for Integer Programs with Block Structure
Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein
|
🔮
The Ethereal
|
cs.DM
|
64 |
8 years ago |
| 92 |
Communication Complexity (for Algorithm Designers)
Tim Roughgarden
|
🔮
The Ethereal
|
cs.CC
|
63 |
10 years ago |
| 93 |
Guarded Dependent Type Theory with Coinductive Types
Aleš Bizjak, Hans Bugge Grathwohl, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
63 |
10 years ago |
| 94 |
Unique End of Potential Line
John Fearnley, Spencer Gordon, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
63 |
7 years ago |
| 95 |
Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Ruediger Ehlers, Ufuk Topcu
|
🔮
The Ethereal
|
cs.LO
|
62 |
11 years ago |
| 96 |
A Mathematical Theory of Co-Design
Andrea Censi
|
🔮
The Ethereal
|
cs.LO
|
61 |
10 years ago |
| 97 |
Complexity of Token Swapping and its Variants
Édouard Bonnet, Tillmann Miltzow, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
61 |
9 years ago |
| 98 |
On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product
Lijie Chen
|
🔮
The Ethereal
|
cs.CC
|
61 |
8 years ago |
| 99 |
Binary linear complementary dual codes
Masaaki Harada, Ken Saito
|
🔮
The Ethereal
|
math.CO
|
61 |
8 years ago |
| 100 |
Information-theoretic and algorithmic thresholds for group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
61 |
7 years ago |