Author of the publication

Algorithmic Fairness Verification with Graphical Models.

, , and . AAAI, page 9539-9548. AAAI Press, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Justicia: A Stochastic SAT Approach to Formally Verify Fairness., , and . AAAI, page 7554-7563. AAAI Press, (2021)Neighborhood-based Hypergraph Core Decomposition., , , and . CoRR, (2023)Algorithmic Fairness Verification with Graphical Models., , and . AAAI, page 9539-9548. AAAI Press, (2022)Classification Rules in Relaxed Logical Form., , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2489-2496. IOS Press, (2020)A MaxSAT-Based Framework for Group Testing., , , and . AAAI, page 10144-10152. AAAI Press, (2020)IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules., and . AIES, page 203-210. ACM, (2019)Don't Forget What I did?: Assessing Client Contributions in Federated Learning., , , , , , , , and . CoRR, (2024)Towards Reliable Latent Knowledge Estimation in LLMs: In-Context Learning vs. Prompting Based Factual Knowledge Extraction., , , , , , , , , and . CoRR, (2024)"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis., , and . FAccT, page 138-148. ACM, (2023)Interpretability and Fairness in Machine Learning: A Formal Methods Approach.. IJCAI, page 7083-7084. ijcai.org, (2023)