Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding