TY - RPRT TI - A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference AU - Mokanarangan Thayaparan AU - Marco Valentino AU - André Freitas PY - 2024 UR - https://arxiv.org/abs/2404.02625 ID - 2404.02625 ER -