Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

Browse the full KR paper archive.