Bridging the gap between automated logical reasoning and machine learning