Skip to content

v1.3.0

Choose a tag to compare

View all tags
@areknot areknot released this 25 Dec 08:55
· 5 commits to main since this release
1.3.0
38d997e

StatWhy

StatWhy is a software tool for automatically verifying the correctness of statistical hypothesis testing programs. In this file, we present the structure of this repository, the resource requirements for the tool, and show how to verify the programs that implement the hypothesis testing examples addressed in our paper: https://doi.org/10.1007/978-3-031-98679-6_10

Updates from 1.2.1

  • We renamed the type population to distribution to use terminology correctly.
  • We added a scale parameter to the type dataset. This allows StatWhy to check that a measurement scale is correctly specified when a hypothesis test is used.
  • We implemented more hypothesis testing methods. See Section 7.1 of the user documentation for the list of supported methods.
  • We refined our custom proof strategy "StatWhy". The original proof strategy is available as "StatWhy aggressive".
Assets 2
Loading