{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T13:09:36Z","timestamp":1778332176365,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":24,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819203772","type":"print"},{"value":"9789819203789","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-981-92-0378-9_29","type":"book-chapter","created":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T12:18:13Z","timestamp":1778329093000},"page":"475-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["FORCE: A Benchmark for Formula Reasoning and Comprehension in Academic Papers"],"prefix":"10.1007","author":[{"given":"Huikang","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianhao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinbang","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoli","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoguang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lifeng","family":"Shang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,10]]},"reference":[{"key":"29_CR1","unstructured":"Achiam, J., Adler, S., Agarwal, S., Ahmad, L., Brown, T.B., et\u00a0al.: Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bai, Y., et\u00a0al.: LongBench V2: towards deeper understanding and reasoning on realistic long-context multitasks. In: Proceedings of of ACL 2025, pp. 3639\u20133664 (2025)","DOI":"10.18653\/v1\/2025.acl-long.183"},{"key":"29_CR3","unstructured":"Cobbe, K., et al.: Training verifiers to solve math word problems. arXiv preprint arXiv:2110.14168 (2021)"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Dasigi, P., Lo, K., Beltagy, I., Cohan, A., Smith, N.A., Gardner, M.: A dataset of information-seeking questions and answers anchored in research papers. In: Proceedings of NAACL-HLT 2021, pp. 4599\u20134610 (2021)","DOI":"10.18653\/v1\/2021.naacl-main.365"},{"key":"29_CR5","unstructured":"Hendrycks, D., Burns, C., Kadavath, S., Arora, A., Basart, S., Tang, E., Song, D., Steinhardt, J.: Measuring mathematical problem solving with the math dataset. In: Proceedings of NeurIPS Datasets and Benchmarks 2021 (2021)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Jain, S., van Zuylen, M., Hajishirzi, H., Beltagy, I.: SciREX: a challenge dataset for document-level information extraction. In: Proceedings of ACL 2020 (2020)","DOI":"10.18653\/v1\/2020.acl-main.670"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Jaradeh, M.Y., et al.: Open research knowledge graph: next generation infrastructure for semantic scholarly knowledge. In: Proceedings of K-CAP 2019, pp. 243\u2013246 (2019)","DOI":"10.1145\/3360901.3364435"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Jiang, Z., Gao, L., Yuan, K., Gao, Z., Tang, Z., Liu, X.: Mathematics content understanding for cyberlearning via formula evolution map. In: Proceedings of CIKM 2018, pp. 37\u201346 (2018)","DOI":"10.1145\/3269206.3271694"},{"key":"29_CR9","unstructured":"Knublauch, H., Kontokostas, D.: Shapes constraint language (shacl) (2017). https:\/\/www.w3.org\/TR\/shacl\/"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Koncel-Kedziorski, R., Roy, S., Amini, A., Kushman, N., Hajishirzi, H.: MAWPS: a math word problem repository. In: Proceedings of NAACL-HLT 2016, pp. 1152\u20131157 (2016)","DOI":"10.18653\/v1\/N16-1136"},{"key":"29_CR11","unstructured":"L\u00e1la, J., O\u2019Donoghue, O., Shtedritski, A., Cox, S., Rodriques, S.G., White, A.D.: PaperQA: retrieval-augmented generative agent for scientific research. arXiv preprint arXiv:2312.07559 (2023)"},{"key":"29_CR12","unstructured":"LangExtract Contributors: Langextract: A python library for extracting structured information from unstructured text using LLMs (2025). https:\/\/github.com\/google\/langextract"},{"key":"29_CR13","unstructured":"Laurent, J.M., et al.: Lab-Bench: measuring capabilities of language models for biology research. arXiv preprint arXiv:2407.10362 (2024)"},{"key":"29_CR14","unstructured":"Li, X., et al.: FormulaReasoning: a dataset for formula-based numerical reasoning. arXiv preprint arXiv:2402.12692 (2025)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Liu, Jet al.: Guiding mathematical reasoning via mastering commonsense formula knowledge. In: Proceedings of KDD 2023, pp. 1477\u20131488 (2023)","DOI":"10.1145\/3580305.3599375"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Phan, L., et\u00a0al.: Humanity\u2019s last exam. arXiv preprint arXiv:2501.14249 (2025)","DOI":"10.21203\/rs.3.rs-6615297\/v1"},{"key":"29_CR17","unstructured":"Priem, J., Piwowar, H., Orr, R.: OpenAlex: a fully-open index of scholarly works, authors, venues, institutions, and concepts. arXiv preprint arXiv:2205.01833 (2022)"},{"issue":"3","key":"29_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s00799-022-00329-y","volume":"23","author":"T Saikh","year":"2022","unstructured":"Saikh, T., Ghosal, T., Mittal, A., Ekbal, A., Bhattacharyya, P.: ScienceQA: a novel resource for question answering on scholarly articles. Int. J. Digit. Libr. 23(3), 289\u2013301 (2022)","journal-title":"Int. J. Digit. Libr."},{"key":"29_CR19","unstructured":"Sainz, O., Garc\u00eda-Ferrero, I., Agerri, R., de\u00a0Lacalle, O.L., Rigau, G., Agirre, E.: Gollie: Annotation guidelines improve zero-shot information-extraction. In: Proceedings of ICLR 2024 (2024)"},{"key":"29_CR20","unstructured":"Skarlinski, M.D., et al.: Language agents achieve superhuman synthesis of scientific knowledge. arXiv preprint arXiv:2409.13740 (2024)"},{"key":"29_CR21","unstructured":"Wang, J.: Math-KG: construction and applications of mathematical knowledge graph. arXiv preprint arXiv:2205.03772 (2022)"},{"key":"29_CR22","unstructured":"Wei, X., et\u00a0al.: ChatIE: zero-shot information extraction via chatting with ChatGPT. arXiv preprint arXiv:2302.10205 (2023)"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, K., Guti\u00e9rrez, B.J., Su, Y.: Aligning instruction tasks unlocks large language models as zero-shot relation extractors. In: Findings of ACL 2023, pp. 794\u2013812 (2023)","DOI":"10.18653\/v1\/2023.findings-acl.50"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, X., et al.: SCITAT: a question answering benchmark for scientific tables and text covering diverse reasoning types. In: Findings of ACL 2025, pp. 3859\u20133881 (2025)","DOI":"10.18653\/v1\/2025.findings-acl.199"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-0378-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T12:18:19Z","timestamp":1778329099000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-0378-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819203772","9789819203789"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-0378-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"10 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DASFAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database Systems for Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jeju","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dasfaa2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dasfaa2026.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}