{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:04:42Z","timestamp":1761563082032,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T00:00:00Z","timestamp":1731542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research","award":["DE-SC0025528"],"award-info":[{"award-number":["DE-SC0025528"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,14]]},"DOI":"10.1145\/3677052.3698677","type":"proceedings-article","created":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T06:38:06Z","timestamp":1731566286000},"page":"36-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["FairNNV: The Neural Network Verification Tool For Certifying Fairness"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-1635-8793","authenticated-orcid":false,"given":"Anne M","family":"Tumlin","sequence":"first","affiliation":[{"name":"Vanderbilt University, US"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0721-1241","authenticated-orcid":false,"given":"Diego","family":"Manzanas Lopez","sequence":"additional","affiliation":[{"name":"Vanderbilt University, US"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4906-2179","authenticated-orcid":false,"given":"Preston","family":"Robinette","sequence":"additional","affiliation":[{"name":"Vanderbilt University, US"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1302-6544","authenticated-orcid":false,"given":"Yuying","family":"Zhao","sequence":"additional","affiliation":[{"name":"Vanderbilt university, US"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0080-5998","authenticated-orcid":false,"given":"Tyler","family":"Derr","sequence":"additional","affiliation":[{"name":"Vanderbilt University, US"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8021-9923","authenticated-orcid":false,"given":"Taylor T","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University, US"}]}],"member":"320","published-online":{"date-parts":[[2024,11,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Trusted AI. 2020. AIF360: A Comprehensive Toolkit for Bias Detection and Mitigation. https:\/\/github.com\/Trusted-AI\/AIF360"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133904"},{"key":"e_1_3_2_1_3_1","unstructured":"Julia Angwin Jeff Larson Lauren Mattu and Surya Kirchner. 2016. Machine Bias. ProPublica. https:\/\/www.propublica.org\/article\/machine-bias-risk-assessments-in-criminal-sentencing"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1186\/s43093-020-00041-w"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 32nd International Conference on Computer Aided Verification (CAV). Springer, 3\u201317","author":"Bak Stanley","year":"2020","unstructured":"Stanley Bak and Hoang-Dung Tran. 2020. nnenum: Verification of ReLU Neural Networks with Optimized Abstraction-Refinement. In Proceedings of the 32nd International Conference on Computer Aided Verification (CAV). Springer, 3\u201317."},{"key":"e_1_3_2_1_6_1","first-page":"671","article-title":"Big Data\u2019s Disparate Impact","volume":"104","author":"Barocas Solon","year":"2016","unstructured":"Solon Barocas and Andrew\u00a0D. Selbst. 2016. Big Data\u2019s Disparate Impact. California Law Review 104, 3 (2016), 671\u2013732.","journal-title":"California Law Review"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/msec.2022.3154689"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360544"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00134"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2212.08578"},{"key":"e_1_3_2_1_11_1","unstructured":"Christopher Brix Stanley Bak Changliu Liu and Taylor\u00a0T. Johnson. 2023. The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results. arxiv:2312.16760\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/2312.16760"},{"key":"e_1_3_2_1_12_1","unstructured":"Dua Dheeru and Karra\u00a0Taniskidou Efi. 2017. UCI Machine Learning Repository: Adult Data Set. http:\/\/archive.ics.uci.edu\/ml\/datasets\/Adult"},{"key":"e_1_3_2_1_13_1","unstructured":"Dua Dheeru and Karra\u00a0Taniskidou Efi. 2017. UCI Machine Learning Repository: Statlog (German Credit Data) Data Set. http:\/\/archive.ics.uci.edu\/ml\/datasets\/Statlog+(German+Credit+Data)"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i9.16925"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i9.21187"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 2019 Workshop on Widening NLP, Amittai Axelrod, Diyi Yang, Rossana Cunha, Samira Shaikh, and Zeerak Waseem (Eds.). Association for Computational Linguistics","author":"Gonen Hila","year":"2019","unstructured":"Hila Gonen and Yoav Goldberg. 2019. Lipstick on a Pig: Debiasing Methods Cover up Systematic Gender Biases in Word Embeddings But do not Remove Them. In Proceedings of the 2019 Workshop on Widening NLP, Amittai Axelrod, Diyi Yang, Rossana Cunha, Samira Shaikh, and Zeerak Waseem (Eds.). Association for Computational Linguistics, Florence, Italy, 60\u201363. https:\/\/aclanthology.org\/W19-3621"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2006.11737"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2205.09927"},{"key":"e_1_3_2_1_20_1","volume-title":"Advances in Neural Information Processing Systems. Curran Associates","author":"Kotha Suhas","year":"2023","unstructured":"Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy\u00a0(Dj) Dvijotham, and Huan Zhang. 2023. Provably Bounding Neural Network Preimages. In Advances in Neural Information Processing Systems. Curran Associates, Inc., New Orleans, USA. https:\/\/papers.nips.cc\/paper_files\/paper\/2023\/file\/fe061ec0ae03c5cf5b5323a2b9121bfd-Paper-Conference.pdf"},{"volume-title":"Advances in Neural Information Processing Systems. NIPS","author":"Kusner J","key":"e_1_3_2_1_21_1","unstructured":"Matt\u00a0J Kusner, Joshua\u00a0R Loftus, Chris Russell, and Ricardo Silva. 2017. Counterfactual Fairness. In Advances in Neural Information Processing Systems. NIPS, Long Beach, California, USA, 4066\u20134076."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning. PMLR, Stockholm Sweden.","author":"Madras David","year":"2018","unstructured":"David Madras, Elliot Creager, Toni Pitassi, and Richard Zemel. 2018. Learning Adversarially Fair and Transferable Representations. In Proceedings of the 35th International Conference on Machine Learning. PMLR, Stockholm Sweden."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457607"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/tdsc.2022.3179131"},{"key":"e_1_3_2_1_25_1","unstructured":"S. Moro P. Cortez and P. Rita. 2014. UCI Machine Learning Repository: Bank Marketing Data Set. http:\/\/archive.ics.uci.edu\/ml\/datasets\/Bank+Marketing"},{"key":"e_1_3_2_1_26_1","volume-title":"Smashing Ethereum Smart Contracts for Fun and Real Profit. In 9th Annual HITB Security Conference (HITBSecConf). HITB","author":"Mueller Bernhard","year":"2018","unstructured":"Bernhard Mueller. 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit. In 9th Annual HITB Security Conference (HITBSecConf). HITB, Amsterdam, Netherlands, 54."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51054-1_30"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2002.10312"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_5"},{"volume-title":"Formal Methods \u2013 The Next 30 Years, Maurice\u00a0H. ter Beek, Annabelle McIver, and Jos\u00e9\u00a0N","author":"Tran Hoang-Dung","key":"e_1_3_2_1_30_1","unstructured":"Hoang-Dung Tran, Diago Manzanas\u00a0Lopez, Patrick Musau, Xiaodong Yang, Luan\u00a0Viet Nguyen, Weiming Xiang, and Taylor\u00a0T. Johnson. 2019. Star-Based Reachability Analysis of Deep Neural Networks. In Formal Methods \u2013 The Next 30 Years, Maurice\u00a0H. ter Beek, Annabelle McIver, and Jos\u00e9\u00a0N. Oliveira (Eds.). Springer International Publishing, Cham, 670\u2013686."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428253"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26779"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278721.3278779"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 7th International Conference on Learning Representations (ICLR)","author":"Zhang Huan","year":"2019","unstructured":"Huan Zhang, Hongge Chen, Zhao Song, Duane Boning, Inderjit Dhillon, and Cho-Jui Hsieh. 2019. The Limitations of Adversarial Training and the Blind-Spot Attack. In Proceedings of the 7th International Conference on Learning Representations (ICLR). New Orleans, Louisiana."}],"event":{"name":"ICAIF '24: 5th ACM International Conference on AI in Finance","acronym":"ICAIF '24","location":"Brooklyn NY USA"},"container-title":["Proceedings of the 5th ACM International Conference on AI in Finance"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677052.3698677","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3677052.3698677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T17:10:07Z","timestamp":1755882607000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3677052.3698677"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,14]]},"references-count":35,"alternative-id":["10.1145\/3677052.3698677","10.1145\/3677052"],"URL":"https:\/\/doi.org\/10.1145\/3677052.3698677","relation":{},"subject":[],"published":{"date-parts":[[2024,11,14]]},"assertion":[{"value":"2024-11-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}