Clément Hongler

Scaling description of generalization with number of parameters in deep learning

2020 · Journal of Statistical Mechanics Theory and Experiment

Abstract Supervised deep learning involves the training of neural networks with a large number N of parameters. For large enough N , in the so-called over-parametrized regime, one can essentially fit the training data points. …

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets

2021 · arXiv (Cornell University)

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, proofs are informal and may omit many …