FairNNV: The Neural Network Verification Tool For Certifying Fairness (bibtex)

by Anne M. Tumlin, Diego Manzanas Lopez, Preston K. Robinette, Yuying Zhao, Tyler Derr and Taylor T. Johnson

Reference:

Anne M. Tumlin, Diego Manzanas Lopez, Preston K. Robinette, Yuying Zhao, Tyler Derr and Taylor T. Johnson, "FairNNV: The Neural Network Verification Tool For Certifying Fairness", In 5th ACM International Conference on AI in Finance (ICAIF'24), ACM, pp. 36–44, 2024.

Bibtex Entry:

@inproceedings{tumlin2024icaif,
  title = {FairNNV: The Neural Network Verification Tool For Certifying Fairness},
  author = {Anne M. Tumlin and Diego Manzanas Lopez and Preston K. Robinette and Yuying Zhao and Tyler Derr and Taylor T. Johnson},
  year = {2024},
  month = nov,
  booktitle = {5th ACM International Conference on AI in Finance (ICAIF'24)},
  pages = {36--44},
  publisher = {ACM},
  doi = {10.1145/3677052.3698677},
  keywords = {Fairness, Formal Verification, Neural Networks},
  publabel = {C49},
  pubtype = {C},
  dblp = {conf/icaif/TumlinLRZDJ24},
  s2id = {274072185},
  pdf = "research/tumlin2024icaif.pdf",
}