A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference.
Mokanarangan ThayaparanMarco ValentinoAndré FreitasPublished in: LREC/COLING (2024)
Keyphrases
- integer linear programming
- natural language
- bicriteria
- column generation
- boolean satisfiability
- linear inequalities
- global constraints
- cutting plane
- machine learning
- bayesian networks
- boolean optimization
- domain theory
- bayesian inference
- knowledge representation
- branch and bound
- sat solving
- space complexity
- simulated annealing
- special case
- lower bound
- search algorithm