A Transformer-Based User Satisfaction Prediction for Proactive Interaction Mechanism in DuerOS