From Black Boxes to Verified Mechanisms: Building Trustworthy Machine Learning through Interpretability, Robustness, and Generalization