Probing the Natural Language Inference Task with Automated Reasoning Tools.

Zaid Marji, Animesh Nighojkar, John Licato

Browse the full FlAIRS paper archive.