K. Mohammadi

Latest

• FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks
• Ranking Regularization for Critical Rare Classes: Minimizing False Positives at a High True Positive Rate
• Post-processing Counterexample-guided Fairness Guarantees in Neural Networks
• Scaling Guarantees for Nearest Counterfactual Explanations
• Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth