| Scaling Guarantees for Nearest Counterfactual Explanations K Mohammadi, AH Karimi, G Barthe, I Valera Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, 177-187, 2021 | 64 | 2021 |
| Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth A Asadi, K Chatterjee, AK Goharshady, K Mohammadi, A Pavlogiannis International Symposium on Automated Technology for Verification and …, 2020 | 21 | 2020 |
| FETA: fairness enforced verifying, training, and predicting algorithms for neural networks K Mohammadi, A Sivaraman, G Farnadi Proceedings of the 3rd ACM conference on equity and access in algorithms …, 2023 | 7 | 2023 |
| Causal Adversarial Perturbations for Individual Fairness and Robustness in Heterogeneous Data Spaces AR Ehyaei, K Mohammadi, AH Karimi, S Samadi, G Farnadi AAAI 2024, 2023 | 7 | 2023 |
| FETA: Fairness enforced verifying, training, and predicting algorithms for neural networks K Mohammadi, A Sivaraman, G Farnadi arXiv preprint arXiv:2206.00553, 2022 | 6 | 2022 |
| Ranking Regularization for Critical Rare Classes: Minimizing False Positives at a High True Positive Rate K Mohammadi, H Zhao, M Zhai, F Tung Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023 | 2 | 2023 |
| Ranking-based training of classification model for use with critical rare cases K Mohammadi, H Zhao US Patent App. 18/382,238, 2024 | | 2024 |
| Post-processing Counterexample-guided Fairness Guarantees in Neural Networks K Mohammadi, A Sivaraman, G Farnadi Combining Learning and Reasoning: Programming Languages, Formalisms, and …, 2022 | | 2022 |
| Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small A Asadi¹, K Chatterjee, AK Goharshady, K Mohammadi, A Pavlogiannis Automated Technology for Verification and Analysis: 18th International …, 2020 | | 2020 |
Amir-Hossein KarimiUniversity of WaterlooVerified email at uwaterloo.ca
