A Comparative Analysis of Transformer Models in Social Bot Detection