Probing the Natural Language Inference Task with Automated Reasoning Tools

Open in new window