The geometry of a low-rank posterior
Three linked results from Singular Bayesian Neural Networks: constrained support, zero Lebesgue measure of the low-rank set, and singularity of the induced posterior.
Read the statements and proofsFormalized research
Selected results,
checked in Lean.
Formal proofs of mathematical results used in my papers, with the statements, assumptions, and source code available to inspect.