Sultan Salah Ud Din, Muhammad Ahsan Aslam, Shahid Farid, Talha Farooq Khan and Muhammad Kamran Abid (2025) “ENHANCING AI SYSTEM TRANSPARENCY AND EXPLAINABILITY: INTEGRATING FORMAL METHODOLOGIES FOR IMPROVED MODEL PERFORMANCE AND INTERPRETABILITY”, Spectrum of Engineering Sciences, 3(5), pp. 395–410. Available at: https://www.sesjournal.com/index.php/1/article/view/372 (Accessed: 22 June 2025).