StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs

Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga

Statistical methods have been widely misused and misinterpreted in various scientific fields, raising significant concerns about the integrity of scientific research. To mitigate t…