A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference

Open in new window