Probablistic verification of neural networks against group fairness
Fairness is crucial for neural networks which are used in applications with important societal implication. Recently, there have been multiple attempts on improving fairness of neural networks, with a focus on fairness testing (e.g., generating individual discriminatory instances) and fairness train...
Saved in:
Main Authors: | SUN, Bing, SUN, Jun, DAI, Ting, ZHANG, Lijun |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2021
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/6214 https://ink.library.smu.edu.sg/context/sis_research/article/7217/viewcontent/2107.08362.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
QEBVerif: Quantization error bound verification of neural networks
by: ZHANG, Yedi, et al.
Published: (2023) -
TESTSGD: Interpretable testing of neural networks against subtle group discrimination
by: ZHANG, Mengdi, et al.
Published: (2023) -
Multi-core model checking algorithms for LTL verification with fairness assumptions
by: HA, Xuan-Linh, et al.
Published: (2013) -
Improving neural network verification through spurious region guided refinement
by: YANG, Pengfei, et al.
Published: (2021) -
PAT: Towards flexible verification under fairness
by: SUN, Jun, et al.
Published: (2009)