Towards Logical Specification of Statistical Machine Learning

v1v2 (latest)

Towards Logical Specification of Statistical Machine Learning

24 July 2019

Yusuke Kawamoto

ArXiv (abs)PDF HTML

Papers citing "Towards Logical Specification of Statistical Machine Learning"

5 / 5 papers shown

Title
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs Yusuke Kawamoto Kentaro Kobayashi Kohei Suenaga 54 0 0 25 May 2024
Toward A Logical Theory Of Fairness and Bias Vaishak Belle FaML 136 1 0 08 Jun 2023
Formalizing Statistical Causality via Modal Logic Yusuke Kawamoto Sato Tetsuya Kohei Suenaga CML LRM 113 2 0 30 Oct 2022
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges G. Giray 86 133 0 14 Dec 2020
An Epistemic Approach to the Formal Specification of Statistical Machine Learning Yusuke Kawamoto CML 30 5 0 27 Apr 2020