Belle, 2020. Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains.