Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Workshop paper
General Probability in Coq
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.
Related
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering
Imran Nasim, Michael E. Henderson
Mathematics
Yuye He, Sebastien Blandin, et al.
ICDMW 2014