4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LG2020★ 4 cited
Separation and Concentration in Deep Networks
John Zarka, Florentin Guth, Stéphane Mallat
Numerical experiments demonstrate that deep neural network classifiers progressively separate class distributions around their mean, achieving linear separability on the training s…
cs.SE2018
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Florentin Guth, Valentin Wüstholz, Maria Christakis +1
Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a…