no code implementations • 30 Oct 2022 • Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
We propose a formal language for describing and explaining statistical causality.
no code implementations • 15 Aug 2022 • Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
We propose a new approach to formally describing the requirement for statistical inference and checking whether a program uses the statistical method appropriately.
no code implementations • 24 May 2019 • Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
These conditions are useful to analyze the distinguishability power of divergences and we use them to study the hypothesis testing interpretation of some relaxations of differential privacy based on Renyi divergence.