1. Estimating Conditional Average Treatment Effects
2. Aniya Agarwal , Pranay Lohia , Seema Nagar , Kuntal Dey , and Diptikalyan Saha . Automated test generation to detect individual discrimination in AI models . CoRR , 2018 . Aniya Agarwal, Pranay Lohia, Seema Nagar, Kuntal Dey, and Diptikalyan Saha. Automated test generation to detect individual discrimination in AI models. CoRR, 2018.
3. Repairing Decision-Making Programs Under Uncertainty
4. FairSquare: probabilistic verification of program fairness
5. Probabilistic verification of fairness properties via concentration;Bastani Osbert;PACMPL, 3(OOPSLA),2019