Towards Generalization in QBF Solving via Machine Learning