Meta-Solving via Machine Learning for Automated Reasoning