@inproceedings{crook2022computability,
  title={A computability perspective on (verified) machine learning},
  author={Crook, Tonicha and Morgan, Jay and Pauly, Arno and Roggenbach, Markus},
  booktitle={International Workshop on Algebraic Development Techniques},
  pages={63--80},
  year={2022},
  organization={Springer}
}