| 101 |
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 |
| 102 |
Sparsity Measure of a Network Graph: Gini Index
Swati Goswami, C. A. Murthy, Asit K. Das
|
🔮
The Ethereal
|
cs.DM
|
60 |
9 years ago |
| 103 |
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
|
🔮
The Ethereal
|
cs.LO
|
60 |
8 years ago |
| 104 |
The complexity of dominating set reconfiguration
Arash Haddadan, Takehiro Ito, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
59 |
11 years ago |
| 105 |
Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
59 |
10 years ago |
| 106 |
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 |
| 107 |
Minimal linear codes in odd characteristic
Daniele Bartoli, Matteo Bonini
|
🔮
The Ethereal
|
math.CO
|
57 |
7 years ago |
| 108 |
Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist, Dexter Kozen
|
🔮
The Ethereal
|
cs.LO
|
57 |
7 years ago |
| 109 |
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Martins, Vasco Manquinho
|
🔮
The Ethereal
|
cs.LO
|
56 |
10 years ago |
| 110 |
Structural Parameters, Tight Bounds, and Approximation for (k,r)-Center
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
|
🔮
The Ethereal
|
cs.CC
|
56 |
8 years ago |
| 111 |
Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm
Tianyi Lin, Nhat Ho, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
56 |
6 years ago |
| 112 |
Continuous LWE
Joan Bruna, Oded Regev, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
56 |
5 years ago |
| 113 |
A Polynomial Lower Bound for Testing Monotonicity
Aleksandrs Belovs, Eric Blais
|
🔮
The Ethereal
|
cs.CC
|
54 |
10 years ago |
| 114 |
Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
54 |
10 years ago |
| 115 |
Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions
Xin Li
|
🔮
The Ethereal
|
cs.CC
|
54 |
7 years ago |
| 116 |
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 |
| 117 |
Definability equals recognizability for graphs of bounded treewidth
Mikołaj Bojańczyk, Michał Pilipczuk
|
🔮
The Ethereal
|
cs.LO
|
53 |
9 years ago |
| 118 |
Resolving Distributed Knowledge
Thomas Ågotnes, Yì N. Wáng
|
🔮
The Ethereal
|
cs.LO
|
53 |
9 years ago |
| 119 |
Column subset selection is NP-complete
Yaroslav Shitov
|
🔮
The Ethereal
|
math.CO
|
53 |
9 years ago |
| 120 |
Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
Josh Alman, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
53 |
7 years ago |
| 121 |
Subtree Isomorphism Revisited
Amir Abboud, Arturs Backurs, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
52 |
10 years ago |
| 122 |
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Kshitij Bansal, Sarah M. Loos, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
52 |
6 years ago |
| 123 |
On the c-differential uniformity of certain maps over finite fields
Sartaj Ul Hasan, Mohit Pal, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
52 |
5 years ago |
| 124 |
Rank-width: Algorithmic and structural results
Sang-il Oum
|
🔮
The Ethereal
|
math.CO
|
51 |
10 years ago |
| 125 |
Drift Analysis and Evolutionary Algorithms Revisited
Johannes Lengler, Angelika Steger
|
🔮
The Ethereal
|
math.CO
|
51 |
9 years ago |
| 126 |
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
51 |
8 years ago |
| 127 |
Differential Equation Invariance Axiomatization
André Platzer, Yong Kiam Tan
|
🔮
The Ethereal
|
cs.LO
|
51 |
6 years ago |
| 128 |
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
51 |
5 years ago |
| 129 |
Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
|
🔮
The Ethereal
|
cs.FL
|
50 |
9 years ago |
| 130 |
ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
50 |
7 years ago |
| 131 |
Track Layouts, Layered Path Decompositions, and Leveled Planarity
Michael J. Bannister, William E. Devanny, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
49 |
10 years ago |
| 132 |
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 |
| 133 |
Computing Maximum Matchings in Temporal Graphs
George B. Mertzios, Hendrik Molter, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
49 |
6 years ago |
| 134 |
Coding for Sunflowers
Anup Rao
|
🔮
The Ethereal
|
math.CO
|
49 |
6 years ago |
| 135 |
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Alois Brunel, Damiano Mazza, Michele Pagani
|
🔮
The Ethereal
|
cs.LO
|
49 |
6 years ago |
| 136 |
Grid Induced Minor Theorem for Graphs of Small Degree
Tuukka Korhonen
|
🔮
The Ethereal
|
math.CO
|
49 |
4 years ago |
| 137 |
Coset Construction for Subspace Codes
Daniel Heinlein, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
48 |
10 years ago |
| 138 |
Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms
Arturs Backurs, Christos Tzamos
|
🔮
The Ethereal
|
cs.CC
|
48 |
9 years ago |
| 139 |
Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams
Michael Kapralov, Jelani Nelson, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
48 |
8 years ago |
| 140 |
Weakly Submodular Maximization Beyond Cardinality Constraints: Does Randomization Help Greedy?
Lin Chen, Moran Feldman, Amin Karbasi
|
🔮
The Ethereal
|
cs.DM
|
48 |
8 years ago |
| 141 |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
André Platzer, Yong Kiam Tan
|
🔮
The Ethereal
|
cs.LO
|
48 |
8 years ago |
| 142 |
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Steffen Smolka, Nate Foster, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
48 |
6 years ago |
| 143 |
A Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
47 |
11 years ago |
| 144 |
Isomorphism Testing for Graphs of Bounded Rank Width
Martin Grohe, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
47 |
10 years ago |
| 145 |
Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
|
🔮
The Ethereal
|
cs.DM
|
47 |
7 years ago |
| 146 |
Answer Set Solving with Bounded Treewidth Revisited
Johannes Fichte, Markus Hecher, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
9 years ago |
| 147 |
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
9 years ago |
| 148 |
Finding Cliques in Social Networks: A New Distribution-Free Model
Jacob Fox, Tim Roughgarden, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
46 |
7 years ago |
| 149 |
A 1.5-Approximation for Path TSP
Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
46 |
7 years ago |
| 150 |
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
7 years ago |