Notes Informal notes Working notes, mostly written for my own clarification. They are unpolished by intention. RSS feed. 28 Jul 2026 Certifying ResNet robustness with the Lipschitz constant: where the state of the art stands A survey-style note on certified robustness through Lipschitz bounds — why the naive product bound fails for residual networks, and the two families of methods (1-Lipschitz architectures and randomized smoothing) that currently work at scale. 15 Apr 2026 A first look at the twenty-seven lines on a cubic surface Working notes on the classical theorem that every smooth cubic surface in three-dimensional projective space contains exactly twenty-seven lines.