CONF Thayaparan_LREC-COLING2024_2024/IDIAP A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference Thayaparan, Mokanarangan Valentino, Marco Freitas, Andre The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation 2024