Bridging formal methods and machine learning with model checking and global optimisation

DOI10.1016/J.JLAMP.2023.100941MaRDI QIDQ6151625zbMATH OpenFDO

Authors Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

Publication date 12 February 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/J.JLAMP.2023.100941

zbMATH Keywords

formal methodsglobal optimisationmachine learningmodel checking

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A BRANCH AND BOUND ALGORITHM FOR FINDING THE MODES IN KERNEL DENSITY ESTIMATES
• A game-based approximate verification of deep neural networks with provable guarantees
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• scientific article; zbMATH DE number 2117879 (Why is no real title available?)
• Lipschitzian optimization without the Lipschitz constant
• Reluplex: an efficient SMT solver for verifying deep neural networks
• The DIRECT algorithm: 25 years later

This page was built for publication: Bridging formal methods and machine learning with model checking and global optimisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151625)