Alexander Bagnall

发表

A Library for Algorithmic Game Theory in Ssreflect/Coq

Gordon Stewart, Alexander Bagnall, Samuel Merten, 2017, J. Formaliz. Reason..

Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret

Gordon Stewart, Alexander Bagnall, Samuel Merten, 2017, PODC.

Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees

Gordon Stewart, Alexander Bagnall, Samuel Merten, 2018, ESOP.

Training Ensembles to Detect Adversarial Examples pdf

Razvan C. Bunescu, Gordon Stewart, Alexander Bagnall, 2017, ArXiv.

Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees

Gordon Stewart, Alexander Bagnall, Gordon Stewart, 2019, AAAI.