28 citations · 123 across the 13 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.AI2022★ 3 cited
Formalizing Statistical Causality via Modal Logic
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
We propose a formal language for describing and explaining statistical causality. Concretely, we define Statistical Causality Language (StaCL) for expressing causal effects and spe…
cs.AI2022★ 4 cited
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
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. Specifically, w…
cs.PL2022★ 1 cited
Divergences on Monads for Relational Program Logics
Tetsuya Sato, Shin-ya Katsumata
Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computat…