3 papers
cs.LG2026
Structured vs. Unstructured Pruning: An Exponential Gap
Davide Ferre', Frédéric Giroire, Frederik Mallmann-Trenn +1
The Strong Lottery Ticket Hypothesis (SLTH) states that large, randomly initialized neural networks contain sparse subnetworks capable of approximating a target function at initial…
stat.ML2024
On the Sparsity of the Strong Lottery Ticket Hypothesis
Emanuele Natale, Davide Ferre', Giordano Giambartolomei +2
Considerable research efforts have recently been made to show that a random neural network contains subnetworks capable of accurately approximating any given neural network tha…
cs.CL2023
Weakly synchronous systems with three machines are Turing powerful
Cinzia Di Giusto, Davide Ferré, Etienne Lozes +1
Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate thr…