Bishwamittra Ghosh

Latest

• Interpretability and Fairness in Machine Learning: A Formal Methods Approach
• How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis
• Efficient Learning of Interpretable Classification Rules
• Algorithmic Fairness Verification with Graphical Models
• Justicia A Stochastic SAT Approach to Formally Verify Fairness
• Classification Rules in Relaxed Logical Form
• A MaxSAT-based Framework for Group Testing
• IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules