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
∙
06/07/2022
Adversarial Reprogramming Revisited
Adversarial reprogramming, introduced by Elsayed, Goodfellow, and Sohl-D...
research
∙
07/12/2021
Human-like Relational Models for Activity Recognition in Video
Video activity recognition by deep neural networks is impressive for man...
research
∙
01/21/2021
Leafy Automata for Higher-Order Concurrency
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming...
research
∙
09/19/2018
The Reachability Problem for Petri Nets is Not Elementary
Petri nets, also known as vector addition systems, are a long establishe...
research
∙
09/19/2018
The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract)
Petri nets, also known as vector addition systems, are a long establishe...
research
∙
07/27/2018
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
Several distinct techniques have been proposed to design quasi-polynomia...
research
∙
03/13/2018