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. Spectrum of Engineering Sciences, [S. l.], v. 3, n. 5, p. 395–410, 2025. Disponível em: https://sesjournal.com/index.php/1/article/view/372. Acesso em: 30 jul. 2025.