Close


Reviewer in Conferences

AAAI (2022), NeurIPS (2022, 2021), AIES (2022)

Academic Talks

February, 2022

Algorithmic Fairness Verification with Graphical Models

AAAI 2022


January, 2022

Verification and Explanation of Fairness in Machine Learning

INRIA, Lille-Nord, France


February, 2021

Justicia: A Stochastic SAT Approach to Formally Verify Fairness

AAAI 2021


September, 2020

Classification Rules in Relaxed Logical Form

ECAI 2020


October, 2019

Incremental Approach to Interpretable Classification Rule Learning

CP 2019


August, 2019

The Flexible Socio Spatial Group Queries

VLDB 2019


August, 2019

Interpretable Classification Rules in Relaxed Logical Form

IJCAI 2019 workshop on DSO and XAI


January, 2019

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules

AIES 2019