Publication
DSN 2022
Workshop paper

General Probability in Coq

View publication

Abstract

We have developed a general probability library in the Coq proof assistant intended for applications in machine learning and stochastic approximation. We will discuss design decisions and lessons learned.

Date

Publication

DSN 2022

Authors

Topics

Resources

Share