21 citations · 21 across the 1 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Owing to their remarkable learning capabilities and performance in real-world applications, the use of machine learning systems based on Neural Networks (NNs) has been continuously…
cs.LG2023★ 11 cited
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks
Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan +1
Performance of trained neural network (NN) models, in terms of testing accuracy, has improved remarkably over the past several years, especially with the advent of deep learning. H…