Chencheng Liang has successfully defended her doctoral thesis entitled "Learning to Guide Automated Reasoning: A GNN-Based Framework". Congratulations!