Alexander Bagnall

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Inductive Reasoning

Multi Agent Cooperation

Top Venues

Proc. ACM Program. Lang.

J. Formaliz. Reason.

Publications

Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Inductive Reasoning for Coinductive Types. CoRR (2023)
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning. CoRR (2022)
Alexander Bagnall, Gordon Stewart
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. AAAI (2019)
Samuel Merten, Alexander Bagnall, Gordon Stewart
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. ESOP (2018)
Alexander Bagnall, Samuel Merten, Gordon Stewart
Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. PODC (2017)
Alexander Bagnall, Samuel Merten, Gordon Stewart
A Library for Algorithmic Game Theory in Ssreflect/Coq. J. Formaliz. Reason. 10 (1) (2017)
Alexander Bagnall, Razvan C. Bunescu, Gordon Stewart
Training Ensembles to Detect Adversarial Examples. CoRR (2017)