Alexander Bagnall

According to our database, Alexander Bagnall authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning.

Alexander Bagnall, Gordon Stewart, Anindya Banerjee

Proc. ACM Program. Lang., 2023

Inductive Reasoning for Coinductive Types.

Alexander Bagnall, Gordon Stewart, Anindya Banerjee

CoRR, 2023

2019

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

Alexander Bagnall, Gordon Stewart

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

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

Samuel Merten, Alexander Bagnall, Gordon Stewart

Proceedings of the Programming Languages and Systems, 2018

2017

A Library for Algorithmic Game Theory in Ssreflect/Coq.

Alexander Bagnall, Samuel Merten, Gordon Stewart

J. Formaliz. Reason., 2017

Training Ensembles to Detect Adversarial Examples.

Alexander Bagnall, Razvan C. Bunescu, Gordon Stewart

CoRR, 2017

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

Alexander Bagnall, Samuel Merten, Gordon Stewart

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017