Towards Logical Specification of Statistical Machine Learning

24 July 2019

Papers citing "Towards Logical Specification of Statistical Machine Learning"

6 / 6 papers shown

Title
Toward A Logical Theory Of Fairness and Bias Vaishak Belle FaML 30 1 0 08 Jun 2023
Formalizing Statistical Causality via Modal Logic Yusuke Kawamoto Sato Tetsuya Kohei Suenaga CML LRM 29 2 0 30 Oct 2022
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges G. Giray 38 121 0 14 Dec 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 932 0 21 Oct 2016
Epistemic Temporal Logic for Information Flow Security Musard Balliu M. Dam Gurvan Le Guernic 40 62 0 30 Aug 2012