Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. - Alexander Bagnall; Samuel Merten; Gordon Stewart 001 (PODC, 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)

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. - Gordon Stewart 001; Samuel Merten; Logan Leland (PADL, 2018)

Leveraging RAG-LLM to Translate C++ to Rust. - Ahmet Okutan; Samuel Merten; Christoph C. Michael; Ben Ryjikov (ICAA, 2024)