research
∙
08/23/2023
Quantifying degeneracy in singular models via the learning coefficient
Deep neural networks (DNN) are singular statistical models which exhibit...
share
research
∙
07/22/2022
Elimination and cut-elimination in multiplicative linear logic
We associate to every proof structure in multiplicative linear logic an ...
research
∙
03/30/2021
Geometry of Program Synthesis
We re-evaluate universal computation based on the synthesis of Turing ma...
research
∙
10/22/2020
Deep Learning is Singular, and That's Good
In singular models, the optimal set of parameters forms an analytic set ...
research
∙
08/23/2020
Gentzen-Mints-Zucker duality
The Curry-Howard correspondence is often described as relating proofs (i...
research
∙
09/02/2019