Sultan Salah Ud Din, Muhammad Ahsan Aslam, Shahid Farid, Talha Farooq Khan, & 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), 395–410. Retrieved from https://www.sesjournal.com/index.php/1/article/view/372