General Probability in Coq

2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) Pub Date : 2022-06-01 DOI:10.1109/dsn-w54100.2022.00021

Avraham Shinnar, B. Trager

引用次数: 0

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.

查看原文本刊更多论文

Coq的一般概率

我们在Coq证明助手中开发了一个通用概率库，用于机器学习和随机逼近的应用。我们将讨论设计决策和经验教训。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)

自引率

0.00%

发文量