A Computability Perspective on (Verified) Machine Learning
Date first appeared online 22/10/2023
DOI 10.1007/978-3-031-43345-0_3
Authors Crook T., Morgan J., Pauly A., Roggenbach M.
Journal Name Recent Trends in Algebraic Development Techniques
Volume 13710

Documents