Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains