A computability perspective on (verified) machine learning

DOI10.1007/978-3-031-43345-0_3MaRDI QIDQ6562515

Jay Morgan, Arno Pauly, Markus Roggenbach, Tonicha Crook

Publication date: 26 June 2024

zbMATH Keywords

formal verificationmachine learningcomputable analysisadversarial examples

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Safety verification of deep neural networks
• Noetherian Quasi-Polish Spaces
• Understanding Machine Learning
• On the topological aspects of the theory of represented spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A computability perspective on (verified) machine learning

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