Towards Trustworthy Machine Learning: An Integer Programming Approach