Probabilistic Verification of Neural Networks Against Group Fairness

Probabilistic Verification of Neural Networks Against Group Fairness

18 July 2021

Jun Sun

Papers citing "Probabilistic Verification of Neural Networks Against Group Fairness"

12 / 12 papers shown

Title
Certified Continual Learning for Neural Network Regression Long H. Pham Jun Sun 32 1 0 09 Jul 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 53 6 0 12 Apr 2024
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 36 0 0 16 Nov 2023
LUNA: A Model-Based Universal Analysis Framework for Large Language Models Da Song Xuan Xie Jiayang Song Derui Zhu Yuheng Huang Felix Juefei Xu Lei Ma ALM 35 3 0 22 Oct 2023
Monitoring Algorithmic Fairness under Partial Observations T. Henzinger Konstantin Kueffner Kaushik Mallik MLAU 25 2 0 01 Aug 2023
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework Simiao Zhang Jitao Bai Menghong Guan Yihao Huang Yueling Zhang Jun Sun G. Pu FaML 32 1 0 21 Jul 2023
Monitoring Algorithmic Fairness T. Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik FaML 24 6 0 25 May 2023
Repairing Deep Neural Networks Based on Behavior Imitation Zhen Liang Taoran Wu Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang J. Wang AAML 39 5 0 05 May 2023
Explainable Global Fairness Verification of Tree-Based Classifiers Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Federico Marcuzzi 24 2 0 27 Sep 2022
Causality-based Neural Network Repair Bing-Jie Sun Jun Sun Hong Long Pham Jie Shi 19 78 0 20 Apr 2022
Generating Natural Language Adversarial Examples M. Alzantot Yash Sharma Ahmed Elgohary Bo-Jhang Ho Mani B. Srivastava Kai-Wei Chang AAML 245 914 0 21 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017