On Efficient Approximate Queries over Machine Learning Models | Synapse