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 (May 2025), 395–410.