Tiny RNN Model with Certified Robustness for Text Classification