Synergy of Machine Learning and Automated Reasoning

Errata: