A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference.
Mokanarangan ThayaparanMarco ValentinoAndré FreitasPublished in: CoRR (2024)
Keyphrases
- integer linear programming
- natural language
- bicriteria
- column generation
- linear inequalities
- boolean satisfiability
- knowledge representation
- bayesian inference
- global constraints
- genetic algorithm
- machine learning
- propositional logic
- heuristic search
- symmetry breaking
- probabilistic model
- cost function
- sat solving
- pseudo boolean