Towards Logical Specification of Statistical Machine Learning - Kawamoto, Yusuke (Software Engineering and Formal Methods, 2019)
Keywords: Divergence; Epistemic logic; Fairness; Machine learning; Possible world semantics; Robustness; Statistical classification