Our work on Algorithmic Fairness Verification with Graphical Models is accepted in AAAI 2022. This is a joint work with Debabrota Basu and Kuldeep S. Meel.
Our paper on social-spatial group queries with keywords has been accepted in ACM Transactions on Spatial Algorithms and Systems (TSAS). This is a joint work with Sajid Hasan Apon, Mohammed Eunus Ali, and Timos Sellis.
We have improved fairness-verification for linear classifiers both in terms of accuracy and scalability. The paper is available in arXiv now.
I have completed my internship at Goldman Sachs. During my internship, I have experimented with recent advances in transformer-based models, such as BERT, in natural language processing (NLP).
I have joined Goldman Sachs, Singapore as an AI research intern.
Our work on formal fairness verification based on Stochastic Boolean Satisfiability (SSAT) is accepted in AAAI 2021. This is a joint work with Debabrota Basu and Kuldeep S. Meel.
Our work on explaining Recurrent Neural Networks using Linear Temporal Logic is now available in arXiv.
An abstract on Incremental Approach to Interpretable Classification Rule Learning is accepted in CP 2019.
We have designed an interpretable rule-based classifier that generates decisions in the form of a richer family of logical rules, namely relaxed-CNF rule. The paper is accepted at IJCAI workshop on XAI (Explainable Artificial Intelligence) and DSO (Data Science meets Optimization), 2019.
My first paper during PhD on interpretable classification rules is accepted for publication at AIES 2019.
My undergrad thesis work on socio spatial group queries is accepted for publication at VLDB 2019.