23 citations · 31 across the 3 of their papers we have counts for
9 papers
Freeness of type and conditional freeness for random matrices
Guillaume Cébron, Antoine Dahlqvist, Franck Gabriel
The asymptotic freeness of independent unitarily invariant random matrices holds in expectation up to . An already known consequence is the infinitesimal fre…
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Sylvain Carré, Franck Gabriel, Clément Hongler +2
Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, p…
Kernel Alignment Risk Estimator: Risk Prediction from Training Data
Arthur Jacot, Berfin Şimşek, Francesco Spadaro +2
We study the risk (i.e. generalization error) of Kernel Ridge Regression (KRR) for a kernel with ridge and i.i.d. observations. For this, we introduce two objects: the Si…
Implicit Regularization of Random Feature Models
Arthur Jacot, Berfin Şimşek, Francesco Spadaro +2
Random Feature (RF) models are used as efficient parametric approximations of kernel methods. We investigate, by means of random matrix theory, the connection between Gaussian RF m…
The asymptotic spectrum of the Hessian of DNN throughout training
Arthur Jacot, Franck Gabriel, Clément Hongler
The dynamics of DNNs during gradient descent is described by the so-called Neural Tangent Kernel (NTK). In this article, we show that the NTK allows one to gain precise insight int…
Order and Chaos: NTK views on DNN Normalization, Checkerboard and Boundary Artifacts
Arthur Jacot, Franck Gabriel, François Ged +1
We analyze architectural features of Deep Neural Networks (DNNs) using the so-called Neural Tangent Kernel (NTK), which describes the training and generalization of DNNs in the inf…