Samuel Merten

According to our database, Samuel Merten authored at least 4 papers between 2017 and 2018.

Collaborative distances:

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

2018

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.

Gordon Stewart, Samuel Merten, Logan Leland

Proceedings of the Practical Aspects of Declarative Languages, 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

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