Succinct And Assured Machine Learning: Training And Execution