Neural network automated verification of a VAE and SegNet using NNV. Although neural networks are promising, they are easily confused, particularly if the input domain is perturbed. In this project, I demonstrate the robustness of MNIST-trained VAE and SegNet against varying brightness attacks.
For most of my life, I’ve been writing poetry when I experience a lightbulb moment. Over time, this habit shapeshifted to mainly haiku & senryū, often composing sequences of 23 - 31 or more on a day out. Although they’re usually reluctant to share, the more people that I’ve met, the more I’ve discovered that also have this practice in one way or another. People are like onions; they have layers. If you peel back enough, you’ll reach the heart – haiku & senryū are the key to mine.
I fell in love with dimensionality reduction when I was learning statistical ML. Since I also study neuroscience, I wanted to practice the art at the intersection of my interests. I compared the 3D projections of a 53-dimensional neurophysiology dataset produced by PCA and a shallow autoencoder.