{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:03:19Z","timestamp":1742954599557,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031560262"},{"type":"electronic","value":"9783031560279"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-56027-9_15","type":"book-chapter","created":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T07:02:49Z","timestamp":1710831769000},"page":"247-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Investigating the\u00a0Usage of\u00a0Formulae in\u00a0Mathematical Answer Retrieval"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2537-9841","authenticated-orcid":false,"given":"Anja","family":"Reusch","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5985-4348","authenticated-orcid":false,"given":"Julius","family":"Gonsior","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5334-059X","authenticated-orcid":false,"given":"Claudio","family":"Hartmann","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8107-2775","authenticated-orcid":false,"given":"Wolfgang","family":"Lehner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,20]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Akiba, T., Sano, S., Yanase, T., Ohta, T., Koyama, M.: Optuna: a next-generation hyperparameter optimization framework. In: Proceedings of the 25rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (2019)","DOI":"10.1145\/3292500.3330701"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1162\/coli_a_00422","volume":"48","author":"Y Belinkov","year":"2022","unstructured":"Belinkov, Y.: Probing classifiers: promises, shortcomings, and advances. Comput. Linguist. 48(1), 207\u2013219 (2022)","journal-title":"Comput. Linguist."},{"key":"15_CR3","series-title":"Studies in Systems, Decision and Control","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-73848-2_3","volume-title":"The Mathematics of the Uncertain","author":"E del Barrio","year":"2018","unstructured":"del Barrio, E., Cuesta-Albertos, J.A., Matr\u00e1n, C.: An optimal transportation approach for assessing almost stochastic order. In: Gil, E., Gil, E., Gil, J., Gil, M.\u00c1. (eds.) The Mathematics of the Uncertain. SSDC, vol. 142, pp. 33\u201344. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73848-2_3"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Dror, R., Shlomov, S., Reichart, R.: Deep dominance - how to properly compare deep neural models. In: Korhonen, A., Traum, D.R., M\u00e0rquez, L. (eds.) Proceedings of the 57th Conference of the Association for Computational Linguistics, ACL 2019, Florence, Italy, 28 July\u20132 August 2019, vol. 1: Long Papers, pp. 2773\u20132785. Association for Computational Linguistics (2019). https:\/\/doi.org\/10.18653\/v1\/p19-1266","DOI":"10.18653\/v1\/p19-1266"},{"key":"15_CR5","unstructured":"Dua, D., Wang, Y., Dasigi, P., Stanovsky, G., Singh, S., Gardner, M.: Drop: a reading comprehension benchmark requiring discrete reasoning over paragraphs. In: Proceedings of NAACL-HLT, pp. 2368\u20132378 (2019)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Fan, Y., Guo, J., Ma, X., Zhang, R., Lan, Y., Cheng, X.: A linguistic study on relevance modeling in information retrieval. In: Proceedings of the Web Conference 2021, pp. 1053\u20131064 (2021)","DOI":"10.1145\/3442381.3450009"},{"key":"15_CR7","unstructured":"Geletka, M., Kalivoda, V., \u0160tef\u00e1nik, M., Toma, M., Sojka, P.: Diverse semantics representation is king. In: Proceedings of the Working Notes of CLEF 2022 (2022)"},{"key":"15_CR8","unstructured":"Hendrycks, D., et al.: Measuring mathematical problem solving with the math dataset. In: NeurIPS (2021)"},{"key":"15_CR9","unstructured":"Humeau, S., Shuster, K., Lachaux, M.A., Weston, J.: Poly-encoders: architectures and pre-training strategies for fast and accurate multi-sentence scoring. In: International Conference on Learning Representations (2019)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Khattab, O., Zaharia, M.: Colbert: efficient and effective passage search via contextualized late interaction over bert. In: Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 39\u201348 (2020)","DOI":"10.1145\/3397271.3401075"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-030-45442-5_73","volume-title":"Advances in Information Retrieval","author":"B Mansouri","year":"2020","unstructured":"Mansouri, B., Agarwal, A., Oard, D., Zanibbi, R.: Finding old answers to new math questions: the ARQMath lab at CLEF 2020. In: Jose, J.M., et al. (eds.) ECIR 2020. LNCS, vol. 12036, pp. 564\u2013571. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45442-5_73"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Mansouri, B., Agarwal, A., Oard, D., Zanibbi, R.: Advancing math-aware search: the arqmath-2 lab at clef 2021, pp. 631\u2013638 (2021)","DOI":"10.1007\/978-3-030-72240-1_74"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Mansouri, B., Novotn\u1ef3, V., Agarwal, A., Oard, D.W., Zanibbi, R.: Overview of arqmath-3 (2022): third clef lab on answer retrieval for questions on math (working notes version). In: Proceedings of the Working Notes of CLEF 2022 (2022)","DOI":"10.1007\/978-3-031-13643-6_20"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Mansouri, B., Oard, D.W., Zanibbi, R.: DPRL systems in the clef 2021 arqmath lab: sentence-bert for answer retrieval, learning-to-rank for formula retrieval (2021)","DOI":"10.1145\/3404835.3462956"},{"key":"15_CR15","unstructured":"Novotn\u1ef3, V., \u0160tef\u00e1nik, M.: Combining sparse and dense information retrieval. In: Proceedings of the Working Notes of CLEF (2022)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Connor, J., Andreas, J.: What context features can transformer language models use? In: Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, vol. 1: Long Papers, pp. 851\u2013864 (2021)","DOI":"10.18653\/v1\/2021.acl-long.70"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Pham, T., Bui, T., Mai, L., Nguyen, A.: Out of order: how important is the sequential order of words in a sentence in natural language understanding tasks? In: Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pp. 1145\u20131160 (2021)","DOI":"10.18653\/v1\/2021.findings-acl.98"},{"key":"15_CR18","unstructured":"Polu, S., Sutskever, I.: Generative language modeling for automated theorem proving. arXiv preprint arXiv:2009.03393 (2020)"},{"key":"15_CR19","unstructured":"Qiao, Y., Xiong, C., Liu, Z., Liu, Z.: Understanding the behaviors of bert in ranking. arXiv preprint arXiv:1904.07531 (2019)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Reusch, A., Lehner, W.: Extracting operator trees from model embeddings. In: Proceedings of the 1st MathNLP Workshop (2022)","DOI":"10.18653\/v1\/2022.mathnlp-1.6"},{"key":"15_CR21","unstructured":"Reusch, A., Thiele, M., Lehner, W.: Transformer-encoder and decoder models for questions on math. In: Proceedings of the Working Notes of CLEF 2022, pp. 5\u20138 (2022)"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Reusch, A., Thiele, M., Lehner, W.: Transformer-encoder-based mathematical information retrieval. In: International Conference of the Cross-Language Evaluation Forum for European Languages, pp. 175\u2013189. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-13643-6_14","DOI":"10.1007\/978-3-031-13643-6_14"},{"key":"15_CR23","unstructured":"Rohatgi, S., Wu, J., Giles, C.L.: Psu at clef-2020 arqmath track: unsupervised re-ranking using pretraining. In: CEUR Workshop Proceedings. Thessaloniki, Greece (2020)"},{"key":"15_CR24","unstructured":"Saxton, D., Grefenstette, E., Hill, F., Kohli, P.: Analysing mathematical reasoning abilities of neural models. In: International Conference on Learning Representations (2019)"},{"key":"15_CR25","unstructured":"Sundararajan, M., Taly, A., Yan, Q.: Axiomatic attribution for deep networks. In: International Conference on Machine Learning, pp. 3319\u20133328. PMLR (2017)"},{"key":"15_CR26","unstructured":"Ulmer, D., Hardmeier, C., Frellsen, J.: deep-significance: easy and meaningful signifcance testing in the age of neural networks. In: ML Evaluation Standards Workshop at the Tenth International Conference on Learning Representations (2022)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Van Aken, B., Winter, B., L\u00f6ser, A., Gers, F.A.: How does bert answer questions? a layer-wise analysis of transformer representations. In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, pp. 1823\u20131832 (2019)","DOI":"10.1145\/3357384.3358028"},{"key":"15_CR28","unstructured":"Vashishth, S., Upadhyay, S., Tomar, G.S., Faruqui, M.: Attention interpretability across NLP tasks. arXiv preprint arXiv:1909.11218 (2019)"},{"key":"15_CR29","unstructured":"Wallat, J., Singh, J., Anand, A.: Bertnesia: investigating the capture and forgetting of knowledge in bert. CoRR abs\/2106.02902 (2021). https:\/\/arxiv.org\/abs\/2106.02902"},{"key":"15_CR30","unstructured":"Wolf, T., et al.: Transformers: state-of-the-art natural language processing, pp. 38\u201345. Association for Computational Linguistics (2020). https:\/\/www.aclweb.org\/anthology\/2020.emnlp-demos.6"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Zhan, J., Mao, J., Liu, Y., Zhang, M., Ma, S.: An analysis of bert in document ranking. In: Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 1941\u20131944 (2020)","DOI":"10.1145\/3397271.3401325"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Zhong, W., Lin, S.C., Yang, J.H., Lin, J.: One blade for one purpose: advancing math information retrieval using hybrid search. In: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 141\u2013151 (2023)","DOI":"10.1145\/3539618.3591746"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Zhong, W., Yang, J.H., Lin, J.: Evaluating token-level and passage-level dense retrieval models for math information retrieval. arXiv preprint arXiv:2203.11163 (2022)","DOI":"10.18653\/v1\/2022.findings-emnlp.78"}],"container-title":["Lecture Notes in Computer Science","Advances in Information Retrieval"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56027-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T07:09:12Z","timestamp":1710832152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56027-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031560262","9783031560279"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56027-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"20 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECIR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Information Retrieval","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Glasgow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"24 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecir2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ecir2024.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"578","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"110","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31 (Tracks: Workshop, Tutorial, Industry, Doctoral Consortium)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}