Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.17492
Cited By
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
25 May 2024
Yusuke Kawamoto
Kentaro Kobayashi
Kohei Suenaga
Re-assign community
ArXiv
PDF
HTML
Papers citing
"StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs"
1 / 1 papers shown
Title
Formalizing Statistical Causality via Modal Logic
Yusuke Kawamoto
Sato Tetsuya
Kohei Suenaga
CML
LRM
29
2
0
30 Oct 2022
1
