Publications
You could see my published articles via my Google Scholar profile, and .
I have also completed the writing of two unpublished papers for my new job, with the following titles:
1. DECENT: Data-Centric Edge and Node Tuning for GNN Confidence Calibration
2. DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees