Picture for Kentaro Kobayashi

Kentaro Kobayashi

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs

Add code
May 25, 2024
Viaarxiv icon