Sultan Salah Ud Din; Muhammad Ahsan Aslam; Shahid Farid; Talha Farooq Khan; Muhammad Kamran Abid. ENHANCING AI SYSTEM TRANSPARENCY AND EXPLAINABILITY: INTEGRATING FORMAL METHODOLOGIES FOR IMPROVED MODEL PERFORMANCE AND INTERPRETABILITY. SES 2025, 3, 395-410.