Grounding Neural Inference with Satisfiability Modulo Theories

Open in new window