Learning Guided Automated Reasoning: A Brief Survey