Model Theory and Machine Learning - Hunter Chase; James Freitag (2018)