{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:59:54Z","timestamp":1769853594135,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T00:00:00Z","timestamp":1626825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,21]]},"DOI":"10.1145\/3461702.3462514","type":"proceedings-article","created":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T01:21:38Z","timestamp":1627694498000},"page":"177-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Scaling Guarantees for Nearest Counterfactual Explanations"],"prefix":"10.1145","author":[{"given":"Kiarash","family":"Mohammadi","sequence":"first","affiliation":[{"name":"Max Planck Institute for Intelligent Systems & Ferdowsi University of Mashhad, T\u00fcbingen, Germany"}]},{"given":"Amir-Hossein","family":"Karimi","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Intelligent Systems & ETH Z\u00fcrich, T\u00fcbingen, Germany"}]},{"given":"Gilles","family":"Barthe","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Security and Privacy, Bochum, Germany"}]},{"given":"Isabel","family":"Valera","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,7,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Adult data. 1996. https:\/\/archive.ics.uci.edu\/ml\/datasets\/adult.  Adult data. 1996. https:\/\/archive.ics.uci.edu\/ml\/datasets\/adult."},{"key":"e_1_3_2_2_2_1","unstructured":"Kevin Bache and Moshe Lichman. 2013. UCI machine learning repository.  Kevin Bache and Moshe Lichman. 2013. UCI machine learning repository."},{"key":"e_1_3_2_2_3_1","volume-title":"Fast Intersection Algorithms for Sorted Sequences","author":"Baeza-Yates Ricardo","unstructured":"Ricardo Baeza-Yates and Alejandro Salinger . 2010. Fast Intersection Algorithms for Sorted Sequences . Springer Berlin Heidelberg , Berlin, Heidelberg , 45--61. https:\/\/doi.org\/10.1007\/978--3--642--12476--1_3 10.1007\/978--3--642--12476--1_3 Ricardo Baeza-Yates and Alejandro Salinger. 2010. Fast Intersection Algorithms for Sorted Sequences .Springer Berlin Heidelberg, Berlin, Heidelberg, 45--61. https:\/\/doi.org\/10.1007\/978--3--642--12476--1_3"},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the 32nd International Conference on Neural Information Processing Systems","author":"Bunel Rudy","unstructured":"Rudy Bunel , Ilker Turkaslan , Philip H.S. Torr , Pushmeet Kohli , and M. Pawan Kumar . 2018. A Unified View of Piecewise Linear Neural Network Verification . In Proceedings of the 32nd International Conference on Neural Information Processing Systems ( Montr\u00e9al, Canada) (NIPS'18). Curran Associates Inc., Red Hook, NY, USA, 4795--4804. Rudy Bunel, Ilker Turkaslan, Philip H.S. Torr, Pushmeet Kohli, and M. Pawan Kumar. 2018. A Unified View of Piecewise Linear Neural Network Verification. In Proceedings of the 32nd International Conference on Neural Information Processing Systems (Montr\u00e9al, Canada) (NIPS'18). Curran Associates Inc., Red Hook, NY, USA, 4795--4804."},{"key":"e_1_3_2_2_5_1","volume-title":"Towards evaluating the robustness of neural networks. In 2017 ieee symposium on security and privacy (sp)","author":"Carlini Nicholas","unstructured":"Nicholas Carlini and David Wagner . 2017. Towards evaluating the robustness of neural networks. In 2017 ieee symposium on security and privacy (sp) . IEEE , 39--57. Nicholas Carlini and David Wagner. 2017. Towards evaluating the robustness of neural networks. In 2017 ieee symposium on security and privacy (sp). IEEE, 39--57."},{"key":"e_1_3_2_2_6_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337--340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_2_7_1","volume-title":"Towards a rigorous science of interpretable machine learning. arXiv preprint arXiv:1702.08608","author":"Doshi-Velez Finale","year":"2017","unstructured":"Finale Doshi-Velez and Been Kim . 2017. Towards a rigorous science of interpretable machine learning. arXiv preprint arXiv:1702.08608 ( 2017 ). Finale Doshi-Velez and Been Kim. 2017. Towards a rigorous science of interpretable machine learning. arXiv preprint arXiv:1702.08608 (2017)."},{"key":"e_1_3_2_2_8_1","volume-title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR","author":"Ehlers R\u00fc","year":"2017","unstructured":"R\u00fc diger Ehlers . 2017. Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR , Vol. abs\/ 1705 .01320 ( 2017 ). arxiv: 1705.01320 http:\/\/arxiv.org\/abs\/1705.01320 R\u00fc diger Ehlers. 2017. Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR, Vol. abs\/1705.01320 (2017). arxiv: 1705.01320 http:\/\/arxiv.org\/abs\/1705.01320"},{"key":"e_1_3_2_2_9_1","volume-title":"arxiv","author":"Freiesleben Timo","year":"2009","unstructured":"Timo Freiesleben . 2020. Counterfactual Explanations & Adversarial Examples -- Common Grounds , Essential Differences , and Potential Transfers . arxiv : 2009 .05487 [cs.AI] Timo Freiesleben. 2020. Counterfactual Explanations & Adversarial Examples -- Common Grounds, Essential Differences, and Potential Transfers. arxiv: 2009.05487 [cs.AI]"},{"key":"e_1_3_2_2_10_1","unstructured":"LLC Gurobi Optimization. 2020. Gurobi Optimizer Reference Manual. http:\/\/www.gurobi.com  LLC Gurobi Optimization. 2020. Gurobi Optimizer Reference Manual. http:\/\/www.gurobi.com"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/395"},{"key":"e_1_3_2_2_13_1","volume-title":"Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research","author":"Karimi Amir-Hossein","unstructured":"Amir-Hossein Karimi , Gilles Barthe , Borja Balle , and Isabel Valera . 2020 a. Model-Agnostic Counterfactual Explanations for Consequential Decisions . In Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research , Vol. 108), Silvia Chiappa and Roberto Calandra (Eds.). PMLR, Online, 895-- 905 . http:\/\/proceedings.mlr.press\/v108\/karimi20a.html Amir-Hossein Karimi, Gilles Barthe, Borja Balle, and Isabel Valera. 2020 a. Model-Agnostic Counterfactual Explanations for Consequential Decisions. In Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research, Vol. 108), Silvia Chiappa and Roberto Calandra (Eds.). PMLR, Online, 895--905. http:\/\/proceedings.mlr.press\/v108\/karimi20a.html"},{"key":"e_1_3_2_2_14_1","volume-title":"2020 b. A survey of algorithmic recourse: definitions, formulations, solutions, and prospects. arxiv","author":"Karimi Amir-Hossein","year":"2010","unstructured":"Amir-Hossein Karimi , Gilles Barthe , Bernhard Sch\u00f6lkopf , and Isabel Valera . 2020 b. A survey of algorithmic recourse: definitions, formulations, solutions, and prospects. arxiv : 2010 .04050 [cs.LG] Amir-Hossein Karimi, Gilles Barthe, Bernhard Sch\u00f6lkopf, and Isabel Valera. 2020 b. A survey of algorithmic recourse: definitions, formulations, solutions, and prospects. arxiv: 2010.04050 [cs.LG]"},{"key":"e_1_3_2_2_15_1","volume-title":"2020 c. Algorithmic Recourse: from Counterfactual Explanations to Interventions. arxiv","author":"Karimi Amir-Hossein","year":"2002","unstructured":"Amir-Hossein Karimi , Bernhard Sch\u00f6lkopf , and Isabel Valera . 2020 c. Algorithmic Recourse: from Counterfactual Explanations to Interventions. arxiv : 2002 .06278 [cs.LG] Amir-Hossein Karimi, Bernhard Sch\u00f6lkopf, and Isabel Valera. 2020 c. Algorithmic Recourse: from Counterfactual Explanations to Interventions. arxiv: 2002.06278 [cs.LG]"},{"key":"e_1_3_2_2_16_1","volume-title":"Kochenderfer","author":"Katz Guy","year":"2017","unstructured":"Guy Katz , Clark Barrett , David L. Dill , Kyle Julian , and Mykel J . Kochenderfer . 2017 . Reluplex : An Efficient SMT Solver for Verifying Deep Neural Networks. In Computer Aided Verification, Rupak Majumdar and Viktor Kunvc ak (Eds.). Springer International Publishing , Cham, 97--117. Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Computer Aided Verification, Rupak Majumdar and Viktor Kunvc ak (Eds.). Springer International Publishing, Cham, 97--117."},{"key":"e_1_3_2_2_17_1","unstructured":"Jeff Larson Surya Mattu Lauren Kirchner and Julia Angwin. 2016. https:\/\/github.com\/propublica\/compas-analysis.  Jeff Larson Surya Mattu Lauren Kirchner and Julia Angwin. 2016. https:\/\/github.com\/propublica\/compas-analysis."},{"key":"e_1_3_2_2_18_1","volume-title":"Nature","volume":"521","author":"LeCun Yann","year":"2015","unstructured":"Yann LeCun , Yoshua Bengio , and Geoffrey Hinton . 2015 . Deep learning . Nature , Vol. 521 , 7553 (2015), 436--444. https:\/\/doi.org\/10.1038\/nature14539 10.1038\/nature14539 Yann LeCun, Yoshua Bengio, and Geoffrey Hinton. 2015. Deep learning. Nature, Vol. 521, 7553 (2015), 436--444. https:\/\/doi.org\/10.1038\/nature14539"},{"key":"e_1_3_2_2_19_1","volume-title":"Kochenderfer","author":"Liu Changliu","year":"2019","unstructured":"Changliu Liu , Tomer Arnon , Christopher Lazarus , Clark W. Barrett , and Mykel J . Kochenderfer . 2019 . Algorithms for Verifying Deep Neural Networks. CoRR , Vol. abs\/ 1903 .06758 (2019). arxiv: 1903.06758 http:\/\/arxiv.org\/abs\/1903.06758 Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, and Mykel J. Kochenderfer. 2019. Algorithms for Verifying Deep Neural Networks. CoRR, Vol. abs\/1903.06758 (2019). arxiv: 1903.06758 http:\/\/arxiv.org\/abs\/1903.06758"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.17"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3351095.3372850"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053009"},{"key":"e_1_3_2_2_23_1","volume-title":"Stop Explaining Black Box Machine Learning Models for High Stakes Decisions and Use Interpretable Models Instead. arxiv","author":"Rudin Cynthia","year":"1811","unstructured":"Cynthia Rudin . 2018. Stop Explaining Black Box Machine Learning Models for High Stakes Decisions and Use Interpretable Models Instead. arxiv : 1811 .10154 [stat.ML] Cynthia Rudin. 2018. Stop Explaining Black Box Machine Learning Models for High Stakes Decisions and Use Interpretable Models Instead. arxiv: 1811.10154 [stat.ML]"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287560.3287569"},{"key":"e_1_3_2_2_25_1","volume-title":"Verifying Neural Networks with Mixed Integer Programming. CoRR","author":"Tjeng Vincent","year":"2017","unstructured":"Vincent Tjeng and Russ Tedrake . 2017. Verifying Neural Networks with Mixed Integer Programming. CoRR , Vol. abs\/ 1711 .07356 ( 2017 ). arxiv: 1711.07356 http:\/\/arxiv.org\/abs\/1711.07356 Vincent Tjeng and Russ Tedrake. 2017. Verifying Neural Networks with Mixed Integer Programming. CoRR, Vol. abs\/1711.07356 (2017). arxiv: 1711.07356 http:\/\/arxiv.org\/abs\/1711.07356"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287560.3287566"},{"key":"e_1_3_2_2_27_1","volume-title":"Counterfactual Explanations for Machine Learning: A Review. arxiv","author":"Verma Sahil","year":"2010","unstructured":"Sahil Verma , John Dickerson , and Keegan Hines . 2020. Counterfactual Explanations for Machine Learning: A Review. arxiv : 2010 .10596 [cs.LG] Sahil Verma, John Dickerson, and Keegan Hines. 2020. Counterfactual Explanations for Machine Learning: A Review. arxiv: 2010.10596 [cs.LG]"},{"key":"e_1_3_2_2_28_1","first-page":"841","article-title":"Counterfactual explanations without opening the black box: Automated decisions and the GDPR","volume":"31","author":"Wachter Sandra","year":"2017","unstructured":"Sandra Wachter , Brent Mittelstadt , and Chris Russell . 2017 . Counterfactual explanations without opening the black box: Automated decisions and the GDPR . Harv. JL & Tech. , Vol. 31 (2017), 841 . Sandra Wachter, Brent Mittelstadt, and Chris Russell. 2017. Counterfactual explanations without opening the black box: Automated decisions and the GDPR. Harv. JL & Tech., Vol. 31 (2017), 841.","journal-title":"Harv. JL & Tech."}],"event":{"name":"AIES '21: AAAI\/ACM Conference on AI, Ethics, and Society","location":"Virtual Event USA","acronym":"AIES '21","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","AAAI"]},"container-title":["Proceedings of the 2021 AAAI\/ACM Conference on AI, Ethics, and Society"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461702.3462514","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461702.3462514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:05Z","timestamp":1750193345000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461702.3462514"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,21]]},"references-count":28,"alternative-id":["10.1145\/3461702.3462514","10.1145\/3461702"],"URL":"https:\/\/doi.org\/10.1145\/3461702.3462514","relation":{},"subject":[],"published":{"date-parts":[[2021,7,21]]},"assertion":[{"value":"2021-07-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}