A Review of Formal Methods applied to Machine Learning

A Review of Formal Methods applied to Machine Learning

6 April 2021

Antoine Miné

Papers citing "A Review of Formal Methods applied to Machine Learning"

9 / 9 papers shown

Title
Assessing Code Understanding in LLMs Cosimo Laneve Alvise Spanò Dalila Ressi S. Rossi M. Bugliesi 27 0 0 31 Mar 2025
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System F. A. DÁsaro Francesco Genco Giuseppe Primiero 8 8 0 26 Jun 2022
Trustworthy AI: From Principles to Practices Bo-wen Li Peng Qi Bo Liu Shuai Di Jingen Liu Jiquan Pei Jinfeng Yi Bowen Zhou 102 349 0 04 Oct 2021
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 59 19 0 02 Mar 2020
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 95 129 0 29 Nov 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 66 289 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 253 2,899 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 169 883 0 21 Oct 2016