{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:45:26Z","timestamp":1743155126439,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031803659"},{"type":"electronic","value":"9783031803666"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-80366-6_34","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T12:35:20Z","timestamp":1740400520000},"page":"412-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Derivation Prompting: A Logic-Based Method for\u00a0Improving Retrieval-Augmented Generation"],"prefix":"10.1007","author":[{"given":"Ignacio","family":"Sastre","sequence":"first","affiliation":[]},{"given":"Guillermo","family":"Moncecchi","sequence":"additional","affiliation":[]},{"given":"Aiala","family":"Ros\u00e1","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,25]]},"reference":[{"key":"34_CR1","unstructured":"Brown, T.B., Mann, B., Ryder, N., Subbiah, M., Kaplan, J., et\u00a0al.: Language models are few-shot learners. In: Advances in Neural Information Processing Systems, vol.\u00a033, pp. 1877\u20131901. Curran Associates, Inc. (2020). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2020\/file\/1457c0d6bfcb4967418bfb8ac142f64a-Paper.pdf"},{"key":"34_CR2","unstructured":"Gao, Y., et al.: Retrieval-augmented generation for large language models: a survey (2024). https:\/\/arxiv.org\/abs\/2312.10997"},{"key":"34_CR3","doi-asserted-by":"publisher","unstructured":"Huang, J., Chang, K.C.C.: Towards reasoning in large language models: A survey. In: Rogers, A., Boyd-Graber, J., Okazaki, N. (eds.) Findings of the Association for Computational Linguistics: ACL 2023, pp. 1049\u20131065. Association for Computational Linguistics, Toronto (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-acl.67. https:\/\/aclanthology.org\/2023.findings-acl.67","DOI":"10.18653\/v1\/2023.findings-acl.67"},{"key":"34_CR4","unstructured":"Izacard, G., et al.: Atlas: few-shot learning with retrieval augmented language models. J. Mach. Learn. Res. 24(1) (2024)"},{"key":"34_CR5","doi-asserted-by":"publisher","unstructured":"Ji, Z., et al.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12) (2023). https:\/\/doi.org\/10.1145\/3571730","DOI":"10.1145\/3571730"},{"key":"34_CR6","doi-asserted-by":"publisher","unstructured":"Kamalloo, E., Dziri, N., Clarke, C., Rafiei, D.: Evaluating open-domain question answering in the era of large language models. In: Rogers, A., Boyd-Graber, J., Okazaki, N. (eds.) Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics, vol. 1: Long Papers, pp. 5591\u20135606. Association for Computational Linguistics, Toronto (2023). https:\/\/doi.org\/10.18653\/v1\/2023.acl-long.307. https:\/\/aclanthology.org\/2023.acl-long.307","DOI":"10.18653\/v1\/2023.acl-long.307"},{"key":"34_CR7","unstructured":"Kim, S., et al.: Prometheus: inducing fine-grained evaluation capability in language models. In: The Twelfth International Conference on Learning Representations (2024). https:\/\/openreview.net\/forum?id=8euJaTveKw"},{"key":"34_CR8","unstructured":"Lewis, P., et al.: Retrieval-augmented generation for knowledge-intensive NLP tasks. In: Advances in Neural Information Processing Systems, vol.\u00a033, pp. 9459\u20139474. Curran Associates, Inc. (2020). https:\/\/proceedings.neurips.cc\/paper\/2020\/hash\/6b493230205f780e1bc26945df7481e5-Abstract.html"},{"key":"34_CR9","unstructured":"Nogueira, R.F., Cho, K.: Passage re-ranking with BERT. CoRR arxiv:1901.04085 (2019)"},{"key":"34_CR10","doi-asserted-by":"publisher","unstructured":"Reimers, N., Gurevych, I.: Sentence-BERT: sentence embeddings using siamese BERT-networks. In: Inui, K., Jiang, J., Ng, V., Wan, X. (eds.) Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP), pp. 3982\u20133992. Association for Computational Linguistics, Hong Kong (2019). https:\/\/doi.org\/10.18653\/v1\/D19-1410. https:\/\/aclanthology.org\/D19-1410","DOI":"10.18653\/v1\/D19-1410"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Shi, W., et al.: REPLUG: retrieval-augmented black-box language models. In: Duh, K., Gomez, H., Bethard, S. (eds.) Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, vol. 1: Long Papers, pp. 8371\u20138384. Association for Computational Linguistics, Mexico City (2024). https:\/\/aclanthology.org\/2024.naacl-long.463","DOI":"10.18653\/v1\/2024.naacl-long.463"},{"key":"34_CR12","doi-asserted-by":"publisher","unstructured":"Touvron, H., Martin, L., Stone, K., Albert, P., Almahairi, A., et\u00a0al.: Llama 2: open foundation and fine-tuned chat models (2023). https:\/\/doi.org\/10.48550\/arXiv.2307.09288. http:\/\/arxiv.org\/abs\/2307.09288","DOI":"10.48550\/arXiv.2307.09288"},{"key":"34_CR13","unstructured":"Valmeekam, K., Olmo, A., Sreedharan, S., Kambhampati, S.: Large language models still can\u2019t plan (a benchmark for LLMs on planning and reasoning about change). In: NeurIPS 2022 Foundation Models for Decision Making Workshop (2022). https:\/\/openreview.net\/forum?id=wUU-7XTL5XO"},{"key":"34_CR14","doi-asserted-by":"publisher","unstructured":"Van\u00a0Dalen, D.: Logic and Structure. Universitext, Springer, London (2013). https:\/\/doi.org\/10.1007\/978-1-4471-4558-5","DOI":"10.1007\/978-1-4471-4558-5"},{"key":"34_CR15","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. In: Proceedings of the 36th International Conference on Neural Information Processing Systems, NIPS \u201922. Curran Associates Inc., Red Hook (2024)"},{"key":"34_CR16","unstructured":"Xu, J., Fei, H., Pan, L., Liu, Q., Lee, M.L., Hsu, W.: Faithful logical reasoning via symbolic chain-of-thought (2024). https:\/\/arxiv.org\/abs\/2405.18357"},{"key":"34_CR17","unstructured":"Yao, S., et al.: Tree of thoughts: deliberate problem solving with large language models. In: Thirty-Seventh Conference on Neural Information Processing Systems (2023). https:\/\/openreview.net\/forum?id=5Xc1ecxO1h"},{"key":"34_CR18","unstructured":"Zhao, X., et al.: Enhancing zero-shot chain-of-thought reasoning in large language models through logic. In: Calzolari, N., Kan, M.Y., Hoste, V., Lenci, A., Sakti, S., Xue, N. (eds.) Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), pp. 6144\u20136166. ELRA and ICCL, Torino (2024). https:\/\/aclanthology.org\/2024.lrec-main.543"},{"key":"34_CR19","unstructured":"Zheng, L., et al.: Judging llm-as-a-judge with mt-bench and chatbot arena. In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S. (eds.) Advances in Neural Information Processing Systems, vol.\u00a036, pp. 46595\u201346623. Curran Associates, Inc. (2023). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2023\/file\/91f18a1287b398d378ef22505bf41832-Paper-Datasets_and_Benchmarks.pdf"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2024"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80366-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T12:35:25Z","timestamp":1740400525000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80366-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031803659","9783031803666"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80366-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"25 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IBERAMIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ibero-American Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montevideo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uruguay","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":"13 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 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":"iberamia2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iberamia.org\/iberamia\/iberamia2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}