v1v2v3 (latest)

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

27 April 2020

Papers citing "An Epistemic Approach to the Formal Specification of Statistical Machine Learning"

3 / 3 papers shown

Title
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs Yusuke Kawamoto Kentaro Kobayashi Kohei Suenaga 54 0 0 25 May 2024
Formalizing Statistical Causality via Modal Logic Yusuke Kawamoto Sato Tetsuya Kohei Suenaga CML LRM 113 2 0 30 Oct 2022
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs Yusuke Kawamoto Tetsuya Sato Kohei Suenaga 28 3 0 15 Aug 2022