The results illustrated in Table 9 show that BertEmb, USE+MLP, BiLSTM, and extendedESIM reach similar performance, with BertEmb being the best.
compared to the FEVER claim validation problem,  where systems reach up to 0.7 F1 macro, the scores are relatively low.