{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:29:55Z","timestamp":1778344195738,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100006374","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2020- AdG 101020093"],"award-info":[{"award-number":["ERC-2020- AdG 101020093"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,8,3]]},"DOI":"10.1145\/3711896.3737054","type":"proceedings-article","created":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T13:32:14Z","timestamp":1754055134000},"page":"790-801","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Monitoring Robustness and Individual Fairness"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-7755-2006","authenticated-orcid":false,"given":"Ashutosh","family":"Gupta","sequence":"first","affiliation":[{"name":"IIT Bombay, Bombay, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2985-7724","authenticated-orcid":false,"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology Austria, Klosterneuburg, Lower Austria, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8974-2542","authenticated-orcid":false,"given":"Konstantin","family":"Kueffner","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology Austria, Klosterneuburg, Lower Austria, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9864-7475","authenticated-orcid":false,"given":"Kaushik","family":"Mallik","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Community of Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4570-3826","authenticated-orcid":false,"given":"David","family":"Pape","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Paris Lodron University of Salzburg, Salzburg, Salzburg, Austria"}]}],"member":"320","published-online":{"date-parts":[[2025,8,3]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287560.3287588"},{"key":"e_1_3_2_2_2_1","unstructured":"Sajjad Amini Mohammadreza Teymoorianfard Shiqing Ma and Amir Houmansadr. 2024. MeanSparse: Post-Training Robustness Enhancement Through Mean-Centered Feature Sparsification. arXiv preprint arXiv:2406.05927(2024)."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327494"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22993-0_1"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973402.76"},{"key":"e_1_3_2_2_6_1","first-page":"3287","volume-title":"Proceedings of the International Congress of Mathematicians: Rio de Janeiro","author":"Andoni Alexandr","year":"2018","unstructured":"Alexandr Andoni, Piotr Indyk, and Ilya Razenshteyn. 2018. Approximate nearest neighbor search in high dimensions. In Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018. World Scientific, 3287-3318."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","unstructured":"Tao Bai Jinqi Luo Jun Zhao Bihan Wen and Qian Wang. 2021. Recent Advances in Adversarial Training for Adversarial Robustness. (2021).","DOI":"10.24963\/ijcai.2021\/591"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5"},{"key":"e_1_3_2_2_9_1","unstructured":"Brian R Bartoldson James Diffenderfer Konstantinos Parasyris and Bhavya Kailkhura. 2024. Adversarial Robustness Limits via Scaling-Law and Human-Alignment Studies. arXiv preprint arXiv:2404.09349(2024)."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361007"},{"key":"e_1_3_2_2_11_1","first-page":"651","article-title":"Individual Fairness Guarantees for Neural Networks. In 31st International Joint Conference on Artificial Intelligence, IJCAI 2022","author":"Benussi Elias","year":"2022","unstructured":"Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, and Marta Kwiatkowska. 2022. Individual Fairness Guarantees for Neural Networks. In 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. International Joint Conferences on Artificial Intelligence (IJCAI), 651-658.","journal-title":"International Joint Conferences on Artificial Intelligence (IJCAI)"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143857"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00134"},{"key":"e_1_3_2_2_14_1","volume-title":"Parallel Nearest Neighbors in Low Dimensions with Batch Updates. In 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). SIAM, 195-208","author":"Blelloch Guy E","year":"2022","unstructured":"Guy E Blelloch and Magdalen Dobson. 2022. Parallel Nearest Neighbors in Low Dimensions with Batch Updates. In 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). SIAM, 195-208."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Randal E Bryant. 2018. Binary decision diagrams. Handbook of model checking(2018) 191-217.","DOI":"10.1007\/978-3-319-10575-8_7"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS49938.2020.9237636"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13185-1_11"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ascom.2020.100443"},{"key":"e_1_3_2_2_19_1","volume-title":"End-to-end autonomous driving: Challenges and frontiers","author":"Chen Li","year":"2024","unstructured":"Li Chen, Penghao Wu, Kashyap Chitta, Bernhard Jaeger, Andreas Geiger, and Hongyang Li. 2024. End-to-end autonomous driving: Challenges and frontiers. IEEE Transactions on Pattern Analysis and Machine Intelligence(2024)."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.1929"},{"key":"e_1_3_2_2_21_1","first-page":"77","article-title":"Parallel SAH kD tree construction.. In High performance graphics","author":"Choi Byn","year":"2010","unstructured":"Byn Choi, Rakesh Komuravelli, Victor Lu, Hyojin Sung, Robert L Bocchino Jr, Sarita V Adve, and John C Hart. 2010. Parallel SAH kD tree construction.. In High performance graphics. Citeseer, 77-86.","journal-title":"Citeseer"},{"key":"e_1_3_2_2_22_1","first-page":"426","volume-title":"Vldb","volume":"97","author":"Ciaccia Paolo","year":"1997","unstructured":"Paolo Ciaccia, Marco Patella, Pavel Zezula, et al., 1997 a. M-tree: An efficient access method for similarity search in metric spaces. In Vldb, Vol. 97. Citeseer, 426-435."},{"key":"e_1_3_2_2_23_1","first-page":"426","volume-title":"Vldb","volume":"97","author":"Ciaccia Paolo","year":"1997","unstructured":"Paolo Ciaccia, Marco Patella, Pavel Zezula, et al., 1997 b. M-tree: An efficient access method for similarity search in metric spaces. In Vldb, Vol. 97. Citeseer, 426-435."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258655"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2010.9"},{"key":"e_1_3_2_2_26_1","unstructured":"Francesco Croce Maksym Andriushchenko Vikash Sehwag Edoardo Debenedetti Nicolas Flammarion Mung Chiang Prateek Mittal and Matthias Hein. 2020. RobustBench: a standardized adversarial robustness benchmark. arXiv preprint arXiv:2010.09670(2020). Accessed: 2024-12-01."},{"key":"e_1_3_2_2_27_1","volume-title":"Conference on learning theory. PMLR, 317-337","author":"Dasgupta Sanjoy","year":"2013","unstructured":"Sanjoy Dasgupta and Kaushik Sinha. 2013. Randomized partition trees for exact nearest neighbor search. In Conference on learning theory. PMLR, 317-337."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"e_1_3_2_2_29_1","volume-title":"A winning hand: Compressing deep networks can improve out-of-distribution robustness. Advances in neural information processing systems","author":"Diffenderfer James","year":"2021","unstructured":"James Diffenderfer, Brian Bartoldson, Shreya Chaganti, Jize Zhang, and Bhavya Kailkhura. 2021. A winning hand: Compressing deep networks can improve out-of-distribution robustness. Advances in neural information processing systems, Vol. 34 (2021), 664-676."},{"key":"e_1_3_2_2_30_1","unstructured":"Matthijs Douze Alexandr Guzhva Chengqi Deng Jeff Johnson Gergely Szilvasy Pierre-Emmanuel Mazar\u00e9 Maria Lomeli Lucas Hosseini and Herv\u00e9 J\u00e9gou. 2024. The faiss library. arXiv preprint arXiv:2401.08281(2024)."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.26"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090255"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2019.2902391"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_3"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00010672"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_2_37_1","unstructured":"Sven Gowal Chongli Qin Jonathan Uesato Timothy Mann and Pushmeet Kohli. 2020. Uncovering the limits of adversarial training against norm-bounded adversarial examples. arXiv preprint arXiv:2010.03593(2020)."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/602259.602266"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593013.3594028"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_17"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_15"},{"key":"e_1_3_2_2_42_1","first-page":"431","volume-title":"Lipschitz Robustness of Finite-state Transducers. In 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS","author":"Henzinger Thomas A","year":"2014","unstructured":"Thomas A Henzinger, Jan Otop, and Roopsha Samanta. 2014. Lipschitz Robustness of Finite-state Transducers. In 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 431-443."},{"key":"e_1_3_2_2_43_1","volume-title":"Conference on Uncertainty in Artificial Intelligence. PMLR, 749-758","author":"John Philips George","year":"2020","unstructured":"Philips George John, Deepak Vijaykeerthy, and Diptikalyan Saha. 2020. Verifying individual fairness in machine learning models. In Conference on Uncertainty in Artificial Intelligence. PMLR, 749-758."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649847"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/141484.130315"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"e_1_3_2_2_48_1","volume-title":"Deutsche Bank AG, and Stefan Schneider","author":"Kaya Or\u00e7un","year":"2019","unstructured":"Or\u00e7un Kaya, Jan Schildbach, Deutsche Bank AG, and Stefan Schneider. 2019. Artificial intelligence in banking. Artificial intelligence(2019)."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i7.25994"},{"key":"e_1_3_2_2_50_1","volume-title":"Imagenet classification with deep convolutional neural networks. Advances in neural information processing systems","author":"Krizhevsky Alex","year":"2012","unstructured":"Alex Krizhevsky, Ilya Sutskever, and Geoffrey E Hinton. 2012. Imagenet classification with deep convolutional neural networks. Advances in neural information processing systems, Vol. 25 (2012)."},{"key":"e_1_3_2_2_51_1","first-page":"1334","article-title":"ifair: Learning individually fair data representations for algorithmic decision making. In 2019 ieee 35th international conference on data engineering (icde)","author":"Lahoti Preethi","year":"2019","unstructured":"Preethi Lahoti, Krishna P Gummadi, and Gerhard Weikum. 2019. ifair: Learning individually fair data representations for algorithmic decision making. In 2019 ieee 35th international conference on data engineering (icde). IEEE, 1334-1345.","journal-title":"IEEE"},{"key":"e_1_3_2_2_52_1","volume-title":"International Conference on Machine Learning. PMLR, 6212-6222","author":"Leino Klas","year":"2021","unstructured":"Klas Leino, Zifan Wang, and Matt Fredrikson. 2021. Globally-robust neural networks. In International Conference on Machine Learning. PMLR, 6212-6222."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461702.3462531"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1198\/016214505000001230"},{"key":"e_1_3_2_2_55_1","volume-title":"Efficient and robust approximate nearest neighbor search using hierarchical navigable small world graphs","author":"Malkov Yu A","year":"2018","unstructured":"Yu A Malkov and Dmitry A Yashunin. 2018. Efficient and robust approximate nearest neighbor search using hierarchical navigable small world graphs. IEEE transactions on pattern analysis and machine intelligence, Vol. 42, 4 (2018), 824-836."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650200.3656601"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00032"},{"key":"e_1_3_2_2_58_1","volume-title":"Pkd-tree: Parallel k d-tree with Batch Updates. arXiv preprint arXiv:2411.09275(2024).","author":"Men Ziyang","year":"2024","unstructured":"Ziyang Men, Zheqi Shen, Yan Gu, and Yihan Sun. 2024. Pkd-tree: Parallel k d-tree with Batch Updates. arXiv preprint arXiv:2411.09275(2024)."},{"key":"e_1_3_2_2_59_1","volume-title":"Zhe Hou, Yan Xiao, Yun Lin, and Jin Song Dong.","author":"Meng Mark Huasong","year":"2022","unstructured":"Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, and Jin Song Dong. 2022. Adversarial robustness of deep neural networks: A survey from a formal verification perspective. IEEE Transactions on Dependable and Secure Computing(2022)."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3577193.3593738"},{"key":"e_1_3_2_2_61_1","unstructured":"Stephen M Omohundro. 1989. Five balltree construction algorithms. (1989)."},{"key":"e_1_3_2_2_62_1","unstructured":"Maxime Oquab Timoth\u00e9e Darcet Th\u00e9o Moutakanni Huy Vo Marc Szafraniec Vasil Khalidov Pierre Fernandez Daniel Haziza Francisco Massa Alaaeldin El-Nouby et al. 2023. Dinov2: Learning robust visual features without supervision. arXiv preprint arXiv:2304.07193(2023)."},{"key":"e_1_3_2_2_63_1","volume-title":"GPU-based Parallel R-tree Construction and Querying. In 2015 IEEE International Parallel and Distributed Processing Symposium Workshop. IEEE, 618-627","author":"Prasad Sushil K","year":"2015","unstructured":"Sushil K Prasad, Michael McDermott, Xi He, and Satish Puri. 2015. GPU-based Parallel R-tree Construction and Querying. In 2015 IEEE International Parallel and Distributed Processing Symposium Workshop. IEEE, 618-627."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1108\/IJOEM-06-2020-0724"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330875"},{"key":"e_1_3_2_2_66_1","volume-title":"International conference on machine learning. PMLR, 8093-8104","author":"Rice Leslie","year":"2020","unstructured":"Leslie Rice, Eric Wong, and Zico Kolter. 2020. Overfitting in adversarially robust deep learning. In International conference on machine learning. PMLR, 8093-8104."},{"key":"e_1_3_2_2_67_1","volume-title":"Learning certified individually fair representations. Advances in neural information processing systems","author":"Ruoss Anian","year":"2020","unstructured":"Anian Ruoss, Mislav Balunovic, Marc Fischer, and Martin Vechev. 2020. Learning certified individually fair representations. Advances in neural information processing systems, Vol. 33 (2020), 7584-7596."},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3398394"},{"key":"e_1_3_2_2_69_1","first-page":"18583","article-title":"Measuring robustness to natural distribution shifts in image classification","volume":"33","author":"Taori Rohan","year":"2020","unstructured":"Rohan Taori, Achal Dave, Vaishaal Shankar, Nicholas Carlini, Benjamin Recht, and Ludwig Schmidt. 2020. Measuring robustness to natural distribution shifts in image classification. Advances in Neural Information Processing Systems, Vol. 33 (2020), 18583-18599.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_70_1","unstructured":"Rui Tian Zuxuan Wu Qi Dai Han Hu and Yu-Gang Jiang. 2022. Deeper Insights into the Robustness of ViTs towards Common Corruptions. arXiv preprint arXiv:2204.12143(2022)."},{"key":"e_1_3_2_2_71_1","volume-title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming. In International Conference on Learning Representations.","author":"Tjeng Vincent","year":"2017","unstructured":"Vincent Tjeng, Kai Y Xiao, and Russ Tedrake. 2017. Evaluating Robustness of Neural Networks with Mixed Integer Programming. In International Conference on Learning Representations."},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428253"},{"key":"e_1_3_2_2_73_1","first-page":"29909","article-title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume":"34","author":"Wang Shiqi","year":"2021","unstructured":"Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, and J Zico Kolter. 2021. Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification. Advances in Neural Information Processing Systems, Vol. 34 (2021), 29909-29921.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_74_1","volume-title":"International Conference on Machine Learning. PMLR, 36246-36263","author":"Wang Zekai","year":"2023","unstructured":"Zekai Wang, Tianyu Pang, Chao Du, Min Lin, Weiwei Liu, and Shuicheng Yan. 2023. Better diffusion models further improve adversarial training. In International Conference on Machine Learning. PMLR, 36246-36263."},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","unstructured":"Daniel Whiteson. 2014. HIGGS. UCI Machine Learning Repository. DOI: https:\/\/doi.org\/10.24432\/C5V312.","DOI":"10.24432\/C5V312"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/61"},{"key":"e_1_3_2_2_77_1","unstructured":"Rahul Yesantharao Yiqiu Wang Laxman Dhulipala and Julian Shun. 2021. Parallel Batch-Dynamic k d-Trees. arXiv preprint arXiv:2112.06188(2021)."},{"key":"e_1_3_2_2_78_1","first-page":"311","article-title":"Data structures and algorithms for nearest neighbor search in general metric spaces","volume":"93","author":"Yianilos Peter N","year":"1993","unstructured":"Peter N Yianilos. 1993. Data structures and algorithms for nearest neighbor search in general metric spaces. In Soda, Vol. 93. 311-21.","journal-title":"Soda"},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534921.2534949"},{"key":"e_1_3_2_2_80_1","volume-title":"A survey of autonomous driving: Common practices and emerging technologies","author":"Yurtsever Ekim","year":"2020","unstructured":"Ekim Yurtsever, Jacob Lambert, Alexander Carballo, and Kazuya Takeda. 2020. A survey of autonomous driving: Common practices and emerging technologies. IEEE access, Vol. 8 (2020), 58443-58469."}],"event":{"name":"KDD '25: The 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining","location":"Toronto ON Canada","acronym":"KDD '25","sponsor":["SIGKDD ACM Special Interest Group on Knowledge Discovery in Data","SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3711896.3737054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T18:05:39Z","timestamp":1777572339000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3711896.3737054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,3]]},"references-count":80,"alternative-id":["10.1145\/3711896.3737054","10.1145\/3711896"],"URL":"https:\/\/doi.org\/10.1145\/3711896.3737054","relation":{},"subject":[],"published":{"date-parts":[[2025,8,3]]},"assertion":[{"value":"2025-08-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}