| 101 |
Optimal Low-Degree Hardness of Maximum Independent Set
Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
67 |
5 years ago |
| 102 |
Beating the random assignment on constraint satisfaction problems of bounded degree
Boaz Barak, Ankur Moitra, ... (+8 more)
|
🔮
The Ethereal
|
cs.CC
|
66 |
11 years ago |
| 103 |
TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
66 |
7 years ago |
| 104 |
Unfolding-based Partial Order Reduction
César Rodríguez, Marcelo Sousa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
65 |
11 years ago |
| 105 |
Advanced Probabilistic Couplings for Differential Privacy
Gilles Barthe, Noémie Fong, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
65 |
10 years ago |
| 106 |
Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method
Avi Levy, Harishchandra Ramadas, Thomas Rothvoss
|
🔮
The Ethereal
|
cs.DM
|
65 |
9 years ago |
| 107 |
A Zero Knowledge Sumcheck and its Applications
Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner
|
🔮
The Ethereal
|
cs.CC
|
65 |
9 years ago |
| 108 |
Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation
Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
64 |
10 years ago |
| 109 |
Faster Algorithms for Integer Programs with Block Structure
Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein
|
🔮
The Ethereal
|
cs.DM
|
64 |
8 years ago |
| 110 |
Communication Complexity (for Algorithm Designers)
Tim Roughgarden
|
🔮
The Ethereal
|
cs.CC
|
63 |
10 years ago |
| 111 |
Guarded Dependent Type Theory with Coinductive Types
Aleš Bizjak, Hans Bugge Grathwohl, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
63 |
10 years ago |
| 112 |
Unique End of Potential Line
John Fearnley, Spencer Gordon, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
63 |
7 years ago |
| 113 |
Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Ruediger Ehlers, Ufuk Topcu
|
🔮
The Ethereal
|
cs.LO
|
62 |
11 years ago |
| 114 |
A Mathematical Theory of Co-Design
Andrea Censi
|
🔮
The Ethereal
|
cs.LO
|
61 |
10 years ago |
| 115 |
Complexity of Token Swapping and its Variants
Édouard Bonnet, Tillmann Miltzow, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.CC
|
61 |
9 years ago |
| 116 |
On The Hardness of Approximate and Exact (Bichromatic) Maximum Inner Product
Lijie Chen
|
🔮
The Ethereal
|
cs.CC
|
61 |
8 years ago |
| 117 |
Binary linear complementary dual codes
Masaaki Harada, Ken Saito
|
🔮
The Ethereal
|
math.CO
|
61 |
8 years ago |
| 118 |
Information-theoretic and algorithmic thresholds for group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
61 |
7 years ago |
| 119 |
Super-Linear Gate and Super-Quadratic Wire Lower Bounds for Depth-Two and Depth-Three Threshold Circuits
Daniel M. Kane, Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
60 |
10 years ago |
| 120 |
Sparsity Measure of a Network Graph: Gini Index
Swati Goswami, C. A. Murthy, Asit K. Das
|
🔮
The Ethereal
|
cs.DM
|
60 |
9 years ago |
| 121 |
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
|
🔮
The Ethereal
|
cs.LO
|
60 |
9 years ago |
| 122 |
The complexity of dominating set reconfiguration
Arash Haddadan, Takehiro Ito, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
59 |
11 years ago |
| 123 |
Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
59 |
11 years ago |
| 124 |
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
Qingxiang Wang, Chad Brown, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
59 |
6 years ago |
| 125 |
Minimal linear codes in odd characteristic
Daniele Bartoli, Matteo Bonini
|
🔮
The Ethereal
|
math.CO
|
57 |
7 years ago |
| 126 |
Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
|
🔮
The Ethereal
|
cs.LO
|
57 |
7 years ago |
| 127 |
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Martins, Vasco Manquinho
|
🔮
The Ethereal
|
cs.LO
|
56 |
11 years ago |
| 128 |
Structural Parameters, Tight Bounds, and Approximation for (k,r)-Center
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
|
🔮
The Ethereal
|
cs.CC
|
56 |
9 years ago |
| 129 |
Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm
Tianyi Lin, Nhat Ho, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
56 |
6 years ago |
| 130 |
Continuous LWE
Joan Bruna, Oded Regev, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
56 |
6 years ago |
| 131 |
A Polynomial Lower Bound for Testing Monotonicity
Aleksandrs Belovs, Eric Blais
|
🔮
The Ethereal
|
cs.CC
|
54 |
10 years ago |
| 132 |
Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
54 |
10 years ago |
| 133 |
Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
54 |
8 years ago |
| 134 |
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Anvesh Komuravelli, Nikolaj Bjorner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
53 |
10 years ago |
| 135 |
Definability equals recognizability for graphs of bounded treewidth
Mikołaj Bojańczyk, Michał Pilipczuk
|
🔮
The Ethereal
|
cs.LO
|
53 |
10 years ago |
| 136 |
Resolving Distributed Knowledge
Thomas Ågotnes, Yì N. Wáng
|
🔮
The Ethereal
|
cs.LO
|
53 |
10 years ago |
| 137 |
Column subset selection is NP-complete
Yaroslav Shitov
|
🔮
The Ethereal
|
math.CO
|
53 |
9 years ago |
| 138 |
Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
Josh Alman, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
53 |
7 years ago |
| 139 |
Subtree Isomorphism Revisited
Amir Abboud, Arturs Backurs, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
52 |
10 years ago |
| 140 |
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Kshitij Bansal, Sarah M. Loos, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
52 |
7 years ago |
| 141 |
On the c-differential uniformity of certain maps over finite fields
Sartaj Ul Hasan, Mohit Pal, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
52 |
6 years ago |
| 142 |
Rank-width: Algorithmic and structural results
Sang-il Oum
|
🔮
The Ethereal
|
math.CO
|
51 |
10 years ago |
| 143 |
Drift Analysis and Evolutionary Algorithms Revisited
Johannes Lengler, Angelika Steger
|
🔮
The Ethereal
|
math.CO
|
51 |
9 years ago |
| 144 |
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
51 |
8 years ago |
| 145 |
Differential Equation Invariance Axiomatization
André Platzer, Yong Kiam Tan
|
🔮
The Ethereal
|
cs.LO
|
51 |
7 years ago |
| 146 |
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
51 |
6 years ago |
| 147 |
Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
|
🔮
The Ethereal
|
cs.FL
|
50 |
10 years ago |
| 148 |
ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
50 |
7 years ago |
| 149 |
Track Layouts, Layered Path Decompositions, and Leveled Planarity
Michael J. Bannister, William E. Devanny, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
49 |
11 years ago |
| 150 |
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
49 |
8 years ago |