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

DOI10.1016/j.jlamp.2023.100941MaRDI QIDQ6151625

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

Publication date: 12 February 2024

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

zbMATH Keywords

global optimisationmodel checkingformal methodsmachine learning

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Lipschitzian optimization without the Lipschitz constant
• The DIRECT algorithm: 25 years later
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• Reluplex: an efficient SMT solver for verifying deep neural networks
• A game-based approximate verification of deep neural networks with provable guarantees
• A BRANCH AND BOUND ALGORITHM FOR FINDING THE MODES IN KERNEL DENSITY ESTIMATES

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