2025-04-28 Grounding Neural Inference with Satisfiability Modulo Theories: Leveraging Theory Solvers for Machine Learning