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