Mahum Naseer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. | Mahum Naseer, Osman Hasan, Muhammad Shafique |
| 2023 | ICST | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. | Mahum Naseer, Muhammad Shafique |
| 2020 | DATE | FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. | Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique |