TY - RPRT TI - An Epistemic Approach to the Formal Specification of Statistical Machine Learning AU - Yusuke Kawamoto PY - 2020 DO - 10.1007/s10270-020-00825-2 UR - https://arxiv.org/abs/2004.12734 ID - 2004.12734 ER -