Explainable AI;Constrained Optimization;Integer Linear Programming;Question Answering
Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers