kpthesis
Repository for Master's Thesis, "Formalized Generalization Bounds for Perceptron-Like Algorithms"
Author: Robin Kelby Advisor: Dr. Gordon Stewart
The code for this thesis is located in MLCert. My contributions can mainly be found in kernelperceptron.v as well as the Haskell driver programs in the hs/ folder.