Grounding Neural Inference with Satisfiability Modulo Theories | Read Paper on Bytez