RT DW A1 Lawless, Connor Aram. T1 Towards Trustworthy Machine Learning: An Integer Programming Approach