Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. - Alexander Bagnall; Samuel Merten; Gordon Stewart 001 (PODC, 2017)

Training Ensembles to Detect Adversarial Examples. - Alexander Bagnall; Razvan C. Bunescu; Gordon Stewart 001 (CoRR, 2017)

A Library for Algorithmic Game Theory in Ssreflect/Coq. - Alexander Bagnall; Samuel Merten; Gordon Stewart 001 (J. Formaliz. Reason., 2017)

Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. - Samuel Merten; Alexander Bagnall; Gordon Stewart 001 (ESOP, 2018)

Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. - Alexander Bagnall; Gordon Stewart 001 (AAAI, 2019)

Inductive Reasoning for Coinductive Types. - Alexander Bagnall; Gordon Stewart 001; Anindya Banerjee 001 (CoRR, 2023)

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning. - Alexander Bagnall; Gordon Stewart 001; Anindya Banerjee 001 (Proc. ACM Program. Lang., 2023)