![]() Gordon Stewart Ohio University |
![]() Sam Merten Ohio University |
![]() Alex Bagnall Ohio University |
![]() Charlie Murphy (alum) Princeton University |
Capsule summary: Machine learning in Coq with verified generalization guarantees, applied via TensorFlow to the extended MNIST Digits dataset
Capsule summary: Verified Multiplicative Weights Update in Coq, with applications to online learning and distributed routing games
Capsule summary: Coq library of basic results in algorithmic game theory
Capsule summary: Extended abstract introducing at a high level the ideas substantially fleshed out in our ESOP 2018 paper
Capsule summary: Coq implementation of Perceptron learning with proved convergence on linearly separable training sets