31 citations · 181 across the 22 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python
Akira Tanaka, Yusuke Kawamoto
The reproducibility crisis in scientific research has received widespread recognition, thereby increasing the importance of meta-analyses that integrate statistical analyses from m…
cs.SE2024
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…