research
∙
06/10/2023
Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs
We prove that, for the fundamental regression task of learning a single ...
share
research
∙
05/04/2023
The complexity of Presburger arithmetic with power or powers
We investigate expansions of Presburger arithmetic, i.e., the theory of ...
research
∙
03/08/2021
Presburger arithmetic with threshold counting quantifiers is easy
We give a quantifier elimination procedures for the extension of Presbur...
research
∙
02/25/2021
Subcubic Certificates for CFL Reachability
Many problems in interprocedural program analysis can be modeled as the ...
research
∙
07/15/2020
The Big-O Problem for Labelled Markov Chains and Weighted Automata
Given two weighted automata, we consider the problem of whether one is b...
research
∙
01/17/2020
Globe-hopping
We consider versions of the grasshopper problem (Goulko and Kent, 2017) ...
research
∙
12/20/2019
Convergence of Opinion Diffusion is PSPACE-complete
We analyse opinion diffusion in social networks, where a finite set of i...
research
∙
04/17/2019
Re-pairing brackets
Consider the following one-player game. Take a well-formed sequence of o...
research
∙
07/26/2018
Bisimilarity Distances for Approximate Differential Privacy
Differential privacy is a widely studied notion of privacy for various m...
research
∙
02/26/2018
O-Minimal Invariants for Linear Loops
The termination analysis of linear loops plays a key role in several are...
research
∙
11/03/2014