An Empirical Comparison of BERT, RoBERTa, and Electra for Fact Verification | IEEE Conference Publication | IEEE Xplore