Proving properties of binary classification neural networks via Łukasiewicz logic

DOI10.1093/JIGPAL/JZAC050MaRDI QIDQ6200749zbMATH OpenOpenAlexFDO

Authors Sandro Preto, Marcelo Finger

Publication date 20 February 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzac050

zbMATH Keywords

robustnessneural networksreachabilityformal methodsrational McNaughton functionsŁukasiewicz infinitely-valued logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Łukasiewicz logic and artificial neural networks
• scientific article; zbMATH DE number 1728657
• scientific article; zbMATH DE number 1330554
• Verifying feedforward neural networks for classification in Isabelle/HOL
• scientific article; zbMATH DE number 2209902

This page was built for publication: Proving properties of binary classification neural networks via Łukasiewicz logic

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