31 citations · 181 across the 22 of their papers we have counts for
4 papers · 1 filter
An Epistemic Approach to the Formal Specification of Statistical Machine Learning
Yusuke Kawamoto
We propose an epistemic approach to formalizing statistical properties of machine learning. Specifically, we introduce a formal model for supervised learning based on a Kripke mode…
Statistical Epistemic Logic
Yusuke Kawamoto
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and sto…
Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke…
On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Information flow is the branch of security that studies the leakage of information due to correlation between secrets and observables. Since in general such correlation cannot be a…