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

Open in new window