Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2210.16751
Cited By
v1
v2
v3
v4
v5 (latest)
Formalizing Statistical Causality via Modal Logic
30 October 2022
Yusuke Kawamoto
Sato Tetsuya
Kohei Suenaga
CML
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formalizing Statistical Causality via Modal Logic"
1 / 1 papers shown
Title
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto
Kentaro Kobayashi
Kohei Suenaga
60
0
0
25 May 2024
1
