Towards Logical Specification of Statistical Machine Learning

DOI10.1007/978-3-030-30446-1_16MaRDI QIDQ6488980

Yusuke Kawamoto

Publication date: 14 March 2024

Mathematics Subject Classification ID

Classification and discrimination; cluster analysis (statistical aspects) (62H30) Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Defining liveness
• Safety verification of deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• An essay in modal logic
• Fairness through awareness
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Models of Objective Chance: An Analysis through Examples
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Differential Privacy
• Formal specification for deep neural networks

Related Items (1)

Formalizing statistical causality via modal logic

This page was built for publication: Towards Logical Specification of Statistical Machine Learning