Zaid Marji, Animesh Nighojkar, John Licato. Probing the Natural Language Inference Task with Automated Reasoning Tools. In Roman Barták, Eric Bell, editors, Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. pages 197-200, AAAI Press, 2020. [doi]
Abstract is missing.