Alexander Bagnall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2019
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | AAAI | Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. | Alexander Bagnall, Gordon Stewart |
| 2018 | ESOP | Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. | Samuel Merten, Alexander Bagnall, Gordon Stewart |
| 2017 | PODC | Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. | Alexander Bagnall, Samuel Merten, Gordon Stewart |