To create an automatically calculable proxy, we focus on automatically constructing large-scale datasets (stress tests), which test NLI models on phenomena that account for most errors in our analysis.
we generate adversarial examples which test "word overlap", "negation", "length mismatch", "antonyms", "spelling error" and "numerical reasoning".