| 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 | 35 | 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 | 12 | 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 | 5 | 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 | 1 | 2023 |
| 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 | | 2023 |
| 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 |
