{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:07Z","timestamp":1759336267142,"version":"3.40.3"},"publisher-location":"Cham","reference-count":60,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031720437"},{"type":"electronic","value":"9783031720444"}],"license":[{"start":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T00:00:00Z","timestamp":1725926400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T00:00:00Z","timestamp":1725926400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-72044-4_8","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:02:41Z","timestamp":1725897761000},"page":"148-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Affinitree: A Compositional Framework for\u00a0Formal Analysis and\u00a0Explanation of\u00a0Deep Neural Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5100-7259","authenticated-orcid":false,"given":"Maximilian","family":"Schl\u00fcter","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"8_CR1","unstructured":"Arora, R., Basu, A., Mianjy, P., Mukherjee, A.: Understanding deep neural networks with rectified linear units. In: 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, 30 April\u20133 May 2018, Conference Track Proceedings. OpenReview.net (2018). https:\/\/openreview.net\/forum?id=B1J_rgWRW"},{"key":"8_CR2","unstructured":"Aytekin, C.: Neural networks are decision trees. arXiv preprint arXiv:2210.05189 (2022)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-76384-8_2","volume-title":"NASA Formal Methods","author":"S Bak","year":"2021","unstructured":"Bak, S.: nnenum: verification of ReLU neural networks with optimized abstraction refinement. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 19\u201336. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_2"},{"issue":"5","key":"8_CR4","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1109\/JPROC.2020.3042100","volume":"109","author":"R Balestriero","year":"2020","unstructured":"Balestriero, R., Baraniuk, R.G.: Mad max: affine spline insights into deep learning. Proc. IEEE 109(5), 704\u2013727 (2020)","journal-title":"Proc. IEEE"},{"issue":"8","key":"8_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"100","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 100(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"205395171562251","DOI":"10.1177\/2053951715622512","volume":"3","author":"J Burrell","year":"2016","unstructured":"Burrell, J.: How the machine \u2018thinks\u2019: understanding opacity in machine learning algorithms. Big Data Soc. 3(1), 2053951715622512 (2016)","journal-title":"Big Data Soc."},{"key":"8_CR7","unstructured":"Buyl, M., Defrance, M., De\u00a0Bie, T.: FAIRRET: a framework for differentiable fairness regularization terms. arXiv preprint arXiv:2310.17256 (2023)"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"B\u00f6ing, B., M\u00fcller, E.: On training and verifying robust autoencoders. In: 2022 IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA), pp. 1\u201310 (2022). https:\/\/doi.org\/10.1109\/DSAA54385.2022.10032334","DOI":"10.1109\/DSAA54385.2022.10032334"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Chu, L., Hu, X., Hu, J., Wang, L., Pei, J.: Exact and consistent interpretation for piecewise linear neural networks: a closed form solution. In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, pp. 1244\u20131253 (2018)","DOI":"10.1145\/3219819.3220063"},{"key":"8_CR10","unstructured":"Dimanov, B., Bhatt, U., Jamnik, M., Weller, A.: You shouldn\u2019t trust me: learning models which conceal unfairness from multiple explanation methods (2020)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Dwork, C., Hardt, M., Pitassi, T., Reingold, O., Zemel, R.: Fairness through awareness. In: Proceedings of the 3rd Innovations in Theoretical Computer Science Conference, pp. 214\u2013226 (2012)","DOI":"10.1145\/2090236.2090255"},{"key":"8_CR12","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-031-09153-7_7","volume-title":"Philosophy and Theory of Artificial Intelligence 2021","author":"A Facchini","year":"2021","unstructured":"Facchini, A., Termine, A.: Towards a taxonomy for the opacity of AI systems. In: M\u00fcller, V.C. (ed.) PTAI 2021. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol. 63, pp. 73\u201389. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-031-09153-7_7"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE symposium on security and privacy (SP), pp. 3\u201318. IEEE (2018)","DOI":"10.1109\/SP.2018.00058"},{"key":"8_CR14","unstructured":"Glorot, X., Bordes, A., Bengio, Y.: Deep sparse rectifier neural networks. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, pp. 315\u2013323. JMLR Workshop and Conference Proceedings (2011)"},{"key":"8_CR15","unstructured":"Goodfellow, I., Warde-Farley, D., Mirza, M., Courville, A., Bengio, Y.: Maxout networks. In: International Conference on Machine Learning, pp. 1319\u20131327. PMLR (2013)"},{"key":"8_CR16","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)"},{"key":"8_CR17","unstructured":"Gopinath, D., Wang, K., Zhang, M., Pasareanu, C.S., Khurshid, S.: Symbolic execution for deep neural networks. arXiv preprint arXiv:1807.10439 (2018)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"115667","DOI":"10.1016\/j.cam.2023.115667","volume":"441","author":"A Goujon","year":"2024","unstructured":"Goujon, A., Etemadi, A., Unser, M.: On the number of regions of piecewise linear neural networks. J. Comput. Appl. Math. 441, 115667 (2024)","journal-title":"J. Comput. Appl. Math."},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Guidotti, R., Monreale, A., Ruggieri, S., Turini, F., Giannotti, F., Pedreschi, D.: A survey of methods for explaining black box models. ACM Comput. Surv. 51(5) (2018https:\/\/doi.org\/10.1145\/3236009","DOI":"10.1145\/3236009"},{"key":"8_CR20","unstructured":"Hanin, B., Rolnick, D.: Complexity of linear regions in deep networks. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a097, pp. 2596\u20132604. PMLR (2019). https:\/\/proceedings.mlr.press\/v97\/hanin19a.html"},{"key":"8_CR21","unstructured":"Hanin, B., Rolnick, D.: Deep ReLU networks have surprisingly few activation patterns. Adv. Neural. Inf. Process. Syst. 32 (2019)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Humayun, A.I., Balestriero, R., Balakrishnan, G., Baraniuk, R.G.: SplineCam: Exact visualization and characterization of deep network geometry and decision boundaries. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 3789\u20133798 (2023)","DOI":"10.1109\/CVPR52729.2023.00369"},{"key":"8_CR23","unstructured":"Ignatiev, A., Narodytska, N., Marques-Silva, J.: On validating, repairing and refining heuristic ml explanations. arXiv preprint arXiv:1907.02509 (2019)"},{"key":"8_CR24","unstructured":"\u0130rsoy, O., Alpayd\u0131n, E.: PathFinder: discovering decision pathways in deep neural networks. arXiv preprint arXiv:2210.00319 (2022)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s12650-019-00607-z","volume":"23","author":"S Jia","year":"2020","unstructured":"Jia, S., Lin, P., Li, Z., Zhang, J., Liu, S.: Visualizing surrogate decision trees of convolutional neural networks. J. Vis. 23, 141\u2013156 (2020)","journal-title":"J. Vis."},{"key":"8_CR26","first-page":"7344","volume":"33","author":"M Jordan","year":"2020","unstructured":"Jordan, M., Dimakis, A.G.: Exactly computing the local Lipschitz constant of ReLU networks. Adv. Neural. Inf. Process. Syst. 33, 7344\u20137353 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"8_CR27","unstructured":"Kohavi, R., Becker, B.: UCI adult data set. UCI Meach. Learn. Repository 5 (1996)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Lakkaraju, H., Bastani, O.: \u201cHow do i fool you?\u201d manipulating user trust via misleading black box explanations. In: Proceedings of the AAAI\/ACM Conference on AI, Ethics, and Society, pp. 79\u201385 (2020)","DOI":"10.1145\/3375627.3375833"},{"issue":"7553","key":"8_CR29","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y LeCun","year":"2015","unstructured":"LeCun, Y., Bengio, Y., Hinton, G.: Deep learning. Nature 521(7553), 436\u2013444 (2015)","journal-title":"Nature"},{"issue":"11","key":"8_CR30","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"Y LeCun","year":"1998","unstructured":"LeCun, Y., Bottou, L., Bengio, Y., Haffner, P.: Gradient-based learning applied to document recognition. Proc. IEEE 86(11), 2278\u20132324 (1998)","journal-title":"Proc. IEEE"},{"key":"8_CR31","unstructured":"Lee, G.H., Jaakkola, T.S.: Oblique decision trees from derivatives of ReLU networks. In: International Conference on Learning Representations (2020). https:\/\/openreview.net\/forum?id=Bke8UR4FPB"},{"issue":"3","key":"8_CR32","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/3236386.3241340","volume":"16","author":"ZC Lipton","year":"2018","unstructured":"Lipton, Z.C.: The mythos of model interpretability: in machine learning, the concept of interpretability is both important and slippery. Queue 16(3), 31\u201357 (2018)","journal-title":"Queue"},{"key":"8_CR33","unstructured":"Logemann, T., Veith, E.M.: NN2EQCDT: equivalent transformation of feed-forward neural networks as DRL policies into compressed decision trees, vol. 15, pp. 94\u2013100 (2023)"},{"key":"8_CR34","first-page":"16548","volume":"35","author":"M Lohaus","year":"2022","unstructured":"Lohaus, M., Kleindessner, M., Kenthapadi, K., Locatello, F., Russell, C.: Are two heads the same as one? Identifying disparate treatment in fair neural networks. Adv. Neural. Inf. Process. Syst. 35, 16548\u201316562 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"8_CR35","unstructured":"Maas, A.L., Hannun, A.Y., Ng, A.Y., et\u00a0al.: Rectifier nonlinearities improve neural network acoustic models. In: Proceedings of the ICML, Atlanta, GA, vol.\u00a030, p.\u00a03 (2013)"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Ignatiev, A.: Delivering trustworthy AI through formal XAI. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 12342\u201312350 (2022)","DOI":"10.1609\/aaai.v36i11.21499"},{"issue":"6","key":"8_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3457607","volume":"54","author":"N Mehrabi","year":"2021","unstructured":"Mehrabi, N., Morstatter, F., Saxena, N., Lerman, K., Galstyan, A.: A survey on bias and fairness in machine learning. ACM Comput. Surv. (CSUR) 54(6), 1\u201335 (2021)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"8_CR38","unstructured":"Molnar, C.: Interpretable machine learning (2020). Lulu.com"},{"key":"8_CR39","unstructured":"Mont\u00fafar, G.: Notes on the number of linear regions of deep neural networks (2017)"},{"key":"8_CR40","unstructured":"Montufar, G.F., Pascanu, R., Cho, K., Bengio, Y.: On the number of linear regions of deep neural networks. Adv. Neural Inf. Process. Syst. 27 (2014)"},{"key":"8_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00702-5","author":"A Murtovi","year":"2023","unstructured":"Murtovi, A., Bainczyk, A., Nolte, G., Schl\u00fcter, M., Steffen, B.: Forest gump: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. (2023). https:\/\/doi.org\/10.1007\/s10009-023-00702-5","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR42","unstructured":"Nguyen, T.D., Kasmarik, K.E., Abbass, H.A.: An exact transformation from deep neural networks to multi-class multivariate decision trees. arXiv preprint arXiv:2003.04675 (2020)"},{"key":"8_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00701-6","author":"G Nolte","year":"2023","unstructured":"Nolte, G., Schl\u00fcter, M., Murtovi, A., Steffen, B.: The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. (2023). https:\/\/doi.org\/10.1007\/s10009-023-00701-6","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR44","doi-asserted-by":"publisher","first-page":"13","DOI":"10.3389\/fdata.2019.00013","volume":"2","author":"A Olteanu","year":"2019","unstructured":"Olteanu, A., Castillo, C., Diaz, F., K\u0131c\u0131man, E.: Social data: Biases, methodological pitfalls, and ethical boundaries. Front. Big Data 2, 13 (2019)","journal-title":"Front. Big Data"},{"key":"8_CR45","doi-asserted-by":"publisher","first-page":"102471","DOI":"10.1016\/j.artmed.2022.102471","volume":"135","author":"E Parimbelli","year":"2023","unstructured":"Parimbelli, E., Buonocore, T.M., Nicora, G., Michalowski, W., Wilk, S., Bellazzi, R.: Why did AI get this one wrong?-tree-based explanations of machine learning model predictions. Artif. Intell. Med. 135, 102471 (2023)","journal-title":"Artif. Intell. Med."},{"key":"8_CR46","unstructured":"Rolnick, D., Kording, K.: Reverse-engineering deep ReLU networks. In: International Conference on Machine Learning, pp. 8178\u20138187. PMLR (2020)"},{"key":"8_CR47","unstructured":"Schl\u00fcter, M., Nolte, G.: Introduction to symbolic execution of neural networks-towards faithful and explainable surrogate models. Electron. Commun. EASST 82 (2023)"},{"key":"8_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00700-7","author":"M Schl\u00fcter","year":"2023","unstructured":"Schl\u00fcter, M., Nolte, G., Murtovi, A., Steffen, B.: Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. (2023). https:\/\/doi.org\/10.1007\/s10009-023-00700-7","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR49","unstructured":"Serra, T., Tjandraatmadja, C., Ramalingam, S.: Bounding and counting linear regions of deep neural networks. In: International Conference on Machine Learning, pp. 4558\u20134566. PMLR (2018)"},{"key":"8_CR50","doi-asserted-by":"crossref","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.: An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3(POPL), 1\u201330 (2019)","DOI":"10.1145\/3290354"},{"key":"8_CR51","unstructured":"Sudjianto, A., Knauth, W., Singh, R., Yang, Z., Zhang, A.: Unwrapping the black box of deep ReLU networks: interpretability, diagnostics, and simplification. ArXiv abs\/2011.04041 (2020)"},{"key":"8_CR52","unstructured":"Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M., Ashmore, R.: Testing deep neural networks. arXiv preprint arXiv:1803.04792 (2018)"},{"key":"8_CR53","doi-asserted-by":"crossref","unstructured":"Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M., Kroening, D.: Concolic testing for deep neural networks. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 109\u2013119 (2018)","DOI":"10.1145\/3238147.3238172"},{"key":"8_CR54","doi-asserted-by":"crossref","unstructured":"Thibault, W.C., Naylor, B.F.: Set operations on polyhedra using binary space partitioning trees. In: Proceedings of the 14th annual conference on Computer Graphics and Interactive Techniques, pp. 153\u2013162 (1987)","DOI":"10.1145\/37401.37421"},{"key":"8_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/978-3-030-30942-8_39","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"H-D Tran","year":"2019","unstructured":"Tran, H.-D., et al.: Star-based reachability analysis of deep neural networks. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 670\u2013686. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_39"},{"key":"8_CR56","doi-asserted-by":"crossref","unstructured":"Usman, M., Noller, Y., P\u0103s\u0103reanu, C.S., Sun, Y., Gopinath, D.: NeuroSPF: a tool for the symbolic analysis of neural networks. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 25\u201328. IEEE (2021)","DOI":"10.1109\/ICSE-Companion52605.2021.00027"},{"key":"8_CR57","unstructured":"Verma, S., Dickerson, J., Hines, K.: Counterfactual explanations for machine learning: a review. arXiv preprint arXiv:2010.105962 (2020)"},{"key":"8_CR58","doi-asserted-by":"crossref","unstructured":"Wang, Y.: Estimation and comparison of linear regions for ReLU networks. In: IJCAI, pp. 3544\u20133550 (2022)","DOI":"10.24963\/ijcai.2022\/492"},{"key":"8_CR59","unstructured":"Xiao, H., Rasul, K., Vollgraf, R.: Fashion-MNIST: a novel image dataset for benchmarking machine learning algorithms (2017)"},{"issue":"2","key":"8_CR60","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s13347-019-00382-7","volume":"34","author":"C Zednik","year":"2021","unstructured":"Zednik, C.: Solving the black box problem: a normative framework for explainable artificial intelligence. Philos. Technol. 34(2), 265\u2013288 (2021)","journal-title":"Philos. Technol."}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72044-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:05:56Z","timestamp":1725897956000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72044-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,10]]},"ISBN":["9783031720437","9783031720444"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72044-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,9,10]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tests and Proofs","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tap2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}