{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T18:05:36Z","timestamp":1784138736766,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T00:00:00Z","timestamp":1784419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Dutch Research Council","award":["024.004.022, NWA.1389.20.183, KICH3.LTP.20.006"],"award-info":[{"award-number":["024.004.022, NWA.1389.20.183, KICH3.LTP.20.006"]}]},{"name":"European Union","award":["101201510"],"award-info":[{"award-number":["101201510"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,20]]},"DOI":"10.1145\/3805712.3808644","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T14:28:19Z","timestamp":1783693699000},"page":"5332-5335","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning for IR & IR for Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-8027-6575","authenticated-orcid":false,"given":"Mohanna","family":"Hoveyda","sequence":"first","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9407-1293","authenticated-orcid":false,"given":"Panagiotis","family":"Eustratiadis","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2888-4202","authenticated-orcid":false,"given":"Arjen P.","family":"de Vries","sequence":"additional","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1086-0202","authenticated-orcid":false,"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Karam Abdulahhad Catherine Berrut Jean-Pierre Chevallet and Gabriella Pasi. 2019. Modeling Information Retrieval by Formal Logic: A Survey. ACM Comput. Surv. (2019).","DOI":"10.1145\/3291043"},{"key":"e_1_3_2_1_2_1","volume-title":"The Thirty-ninth Annual Conference on Neural Information Processing Systems.","author":"Agarwal Dhruv","year":"2025","unstructured":"Dhruv Agarwal, Bodhisattwa Prasad Majumder, Reece Adamson, Megha Chakravorty, Satvika Reddy Gavireddy, Aditya Parashar, Harshit Surana, Bhavana Dalvi Mishra, Andrew McCallum, Ashish Sabharwal, and Peter Clark. 2025. AutoDiscovery: Open-ended Scientific Discovery via Bayesian Surprise. In The Thirty-ninth Annual Conference on Neural Information Processing Systems."},{"key":"e_1_3_2_1_3_1","volume-title":"DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning. Nature","author":"DeepSeek AI.","year":"2025","unstructured":"DeepSeek AI. 2025. DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning. Nature (2025)."},{"key":"e_1_3_2_1_4_1","volume-title":"Hitchhiker's guide on the relation of Energy-Based Models with other generative models, sampling and statistical physics: a comprehensive review. TMLR","author":"Carbone Davide","year":"2025","unstructured":"Davide Carbone. 2025. Hitchhiker's guide on the relation of Energy-Based Models with other generative models, sampling and statistical physics: a comprehensive review. TMLR (2025)."},{"key":"e_1_3_2_1_5_1","unstructured":"Stephen Casper Xander Davies Claudia Shi et al. 2023. Open Problems and Fundamental Limitations of Reinforcement Learning from Human Feedback. TMLR (2023)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Weize Chen Xu Han Yankai Lin et al. 2024. Hyperbolic Pre-Trained Language Model. IEEE ACM Trans. Audio Speech Lang. Process. (2024).","DOI":"10.1109\/TASLP.2024.3407575"},{"key":"e_1_3_2_1_7_1","unstructured":"Zijian Chen Xueguang Ma Shengyao Zhuang et al. 2025. BrowseComp-Plus: A More Fair and Transparent Evaluation Benchmark of Deep-Research Agent. CoRR: abs\/2508.06600."},{"key":"e_1_3_2_1_8_1","volume-title":"Box Embeddings: An open-source library for representation learning using geometric structures. In EMNLP.","author":"Chheda Tejas","year":"2021","unstructured":"Tejas Chheda, Purujit Goyal, Trang Tran, et al., 2021. Box Embeddings: An open-source library for representation learning using geometric structures. In EMNLP."},{"key":"e_1_3_2_1_9_1","volume-title":"Tutorial: Neuro-Symbolic Approaches for Information Retrieval. In ECIR.","author":"Dietz Laura","year":"2023","unstructured":"Laura Dietz, Hannah Bast, Shubham Chatterjee, et al., 2023. ECIR 23 Tutorial: Neuro-Symbolic Approaches for Information Retrieval. In ECIR."},{"key":"e_1_3_2_1_10_1","volume-title":"Neural Reasoning for Sure Through Constructing Explainable Models. AAAI","author":"Dong Tiansi","year":"2025","unstructured":"Tiansi Dong, Mateja Jamnik, and Pietro Li\u00f2. 2025. Neural Reasoning for Sure Through Constructing Explainable Models. AAAI (2025)."},{"key":"e_1_3_2_1_11_1","volume-title":"Tenenbaum","author":"Du Yilun","year":"2024","unstructured":"Yilun Du, Jiayuan Mao, and Joshua B. Tenenbaum. 2024. Learning Iterative Reasoning through Energy Diffusion. In ICML."},{"key":"e_1_3_2_1_12_1","volume-title":"Machine Reasoning: Technology, Dilemma and Future. In EMNLP.","author":"Duan Nan","year":"2020","unstructured":"Nan Duan, Duyu Tang, and Ming Zhou. 2020. Machine Reasoning: Technology, Dilemma and Future. In EMNLP."},{"key":"e_1_3_2_1_13_1","volume-title":"BIRD: A Trustworthy Bayesian Inference Framework for Large Language Models. In ICLR.","author":"Feng Yu","year":"2025","unstructured":"Yu Feng, Ben Zhou, Weidong Lin, and Dan Roth. 2025. BIRD: A Trustworthy Bayesian Inference Framework for Large Language Models. In ICLR."},{"key":"e_1_3_2_1_14_1","volume-title":"Md Mofijul Islam, et al","author":"Gladstone Alexi","year":"2025","unstructured":"Alexi Gladstone, Ganesh Nanduru, Md Mofijul Islam, et al., 2025. Energy-Based Transformers are Scalable Learners and Thinkers. CoRR: abs\/2507.02092."},{"key":"e_1_3_2_1_15_1","volume-title":"Fundamental Problems With Model Editing: How Should Rational Belief Revision Work in LLMs? Transactions on Machine Learning Research","author":"Hase Peter","year":"2024","unstructured":"Peter Hase, Thomas Hofweber, Xiang Zhou, Elias Stengel-Eskin, and Mohit Bansal. 2024. Fundamental Problems With Model Editing: How Should Rational Belief Revision Work in LLMs? Transactions on Machine Learning Research (2024)."},{"key":"e_1_3_2_1_16_1","unstructured":"Neil He Hiren Madhu Ngoc Bui et al. 2025. Hyperbolic Deep Learning for Foundation Models: A Survey. In ACM SIGKDD."},{"key":"e_1_3_2_1_17_1","unstructured":"Matthew Douglas Hoffman Du Phan David Dohan and Sothers. 2023. Training Chain-of-Thought via Latent-Variable Inference. In NeurIPS."},{"key":"e_1_3_2_1_18_1","volume-title":"OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning. https:\/\/arxiv.org\/abs\/2601.23085 To appear in ECIR","author":"Hoveyda Mohanna","year":"2026","unstructured":"Mohanna Hoveyda, Jelle Piepenbrock, Arjen P de Vries, Maarten de Rijke, and Faegheh Hasibi. 2026. OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning. https:\/\/arxiv.org\/abs\/2601.23085 To appear in ECIR 2026.."},{"key":"e_1_3_2_1_19_1","volume-title":"Efficiently Learning at Test-Time: Active Fine-Tuning of LLMs","author":"H\u00fcbotter Jonas","unstructured":"Jonas H\u00fcbotter, Sascha Bongni, Ido Hakimi, and Andreas Krause. 2024. Efficiently Learning at Test-Time: Active Fine-Tuning of LLMs. In Adaptive Foundation Models: Evolving AI for Personalized and Efficient Learning."},{"key":"e_1_3_2_1_20_1","unstructured":"Bowen Jin Hansi Zeng Zhenrui Yue et al. 2025. Search-R1: Training LLMs to Reason and Leverage Search Engines with Reinforcement Learning. In COLM."},{"key":"e_1_3_2_1_21_1","unstructured":"Adam Tauman Kalai Ofir Nachum Santosh S. Vempala et al. 2025. Why Language Models Hallucinate. CoRR: abs\/2509.04664."},{"key":"e_1_3_2_1_22_1","unstructured":"Julian Killingback and Hamed Zamani. 2025. Benchmarking Information Retrieval Models on Complex Retrieval Tasks. CoRR: abs\/2509.07253."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Antonios Minas Krasakis Andrew Yates and Evangelos Kanoulas. 2025. Constructing Set-Compositional and Negated Representations for First-Stage Ranking. CoRR: abs\/2501.07679.","DOI":"10.1145\/3746252.3761238"},{"key":"e_1_3_2_1_24_1","unstructured":"Jindong Li Yali Fu Li Fan et al. 2025. Implicit Reasoning in Large Language Models: A Comprehensive Survey. CoRR: abs\/2509.02350."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Lihui Liu and Hanghang Tong. 2023. Knowledge Graph Reasoning and Its Applications. In ACM SIGKDD.","DOI":"10.1145\/3580305.3599564"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Aman Madaan Niket Tandon Prakhar Gupta et al. 2023. SELF-REFINE: iterative refinement with self-feedback. In NeurIPS.","DOI":"10.52202\/075280-2019"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Quan Mai Susan Gauch and Douglas Adams. 2024. SetBERT: Enhancing Retrieval Performance for Boolean Logic and Set Operation Queries. In NLPIR.","DOI":"10.1145\/3711542.3711548"},{"key":"e_1_3_2_1_28_1","volume-title":"QUEST: A Retrieval Dataset of Entity-Seeking Queries with Implicit Set Operations. In ACL.","author":"Malaviya Chaitanya","year":"2023","unstructured":"Chaitanya Malaviya, Peter Shaw, Ming-Wei Chang, et al., 2023. QUEST: A Retrieval Dataset of Entity-Seeking Queries with Implicit Set Operations. In ACL."},{"key":"e_1_3_2_1_29_1","volume-title":"Kristen Brent Venable, and Parisa Kordjamshidi","author":"Nafar Aliakbar","year":"2025","unstructured":"Aliakbar Nafar, Kristen Brent Venable, and Parisa Kordjamshidi. 2025. Reasoning over uncertain text by generative large language models. In AAAI."},{"key":"e_1_3_2_1_30_1","volume-title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. In EMNLP.","author":"Olausson Theo","year":"2023","unstructured":"Theo Olausson, Alex Gu, Ben Lipkin, et al., 2023. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. In EMNLP."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Long Ouyang Jeffrey Wu Xu Jiang et al. 2022. Training language models to follow instructions with human feedback. NeurIPS (2022).","DOI":"10.52202\/068431-2011"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Akshay Paruchuri Jake Garrison Shun Liao et al. 2024. What Are the Odds? Language Models Are Capable of Probabilistic Reasoning. In EMNLP.","DOI":"10.18653\/v1\/2024.emnlp-main.654"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Roxana Petcu Samarth Bhargav Maarten de Rijke et al. 2025. A Comprehensive Taxonomy of Negation for NLP and Neural Retrievers. In EMNLP.","DOI":"10.18653\/v1\/2025.findings-emnlp.839"},{"key":"e_1_3_2_1_34_1","volume-title":"Bayesian teaching enables probabilistic reasoning in large language models. Nature Communications","author":"Qiu Linlu","year":"2026","unstructured":"Linlu Qiu, Fei Sha, Kelsey Allen, Yoon Kim, Tal Linzen, and Sjoerd van Steenkiste. 2026. Bayesian teaching enables probabilistic reasoning in large language models. Nature Communications (2026)."},{"key":"e_1_3_2_1_35_1","unstructured":"Rajkumar Ramamurthy Prithviraj Ammanabrolu Kiant\u00e9 Brantley et al. 2023. Is Reinforcement Learning (Not) for Natural Language Processing: Benchmarks Baselines and Building Blocks for Natural Language Policy Optimization. In ICLR."},{"key":"e_1_3_2_1_36_1","unstructured":"Laura Ruis Maximilian Mozes Juhan Bae et al. 2025. Procedural Knowledge in Pretraining Drives Reasoning in Large Language Models. In ICLR."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Paulo Shakarian Gerardo I. Simari Chitta Baral et al. 2023. Advances in Neuro-Symbolic Reasoning and Learning: 2023 AAAI Tutorial. In AAAI.","DOI":"10.1007\/978-3-031-39179-8"},{"key":"e_1_3_2_1_38_1","volume-title":"BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval. In ICLR.","author":"Su Hongjin","year":"2025","unstructured":"Hongjin Su, Howard Yen, Mengzhou Xia, et al., 2025. BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval. In ICLR."},{"key":"e_1_3_2_1_39_1","volume-title":"Bayesian Prompt Ensembles: Model Uncertainty Estimation for Black-Box Large Language Models. In Findings of the Association for Computational Linguistics: ACL","author":"Tonolini Francesco","year":"2024","unstructured":"Francesco Tonolini, Nikolaos Aletras, Jordan Massiah, and Gabriella Kazai. 2024. Bayesian Prompt Ensembles: Model Uncertainty Estimation for Black-Box Large Language Models. In Findings of the Association for Computational Linguistics: ACL 2024."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Harsh Trivedi Niranjan Balasubramanian Tushar Khot et al. 2023. Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions. In ACL.","DOI":"10.18653\/v1\/2023.acl-long.557"},{"key":"e_1_3_2_1_41_1","volume-title":"Reproducing NevIR: Negation in Neural Information Retrieval. In SIGIR","author":"van den Elsen Coen","year":"2025","unstructured":"Coen van den Elsen, Francien Barkhof, Thijmen Nijdam, et al., 2025. Reproducing NevIR: Negation in Neural Information Retrieval. In SIGIR 2025."},{"key":"e_1_3_2_1_42_1","volume":"198","author":"C","unstructured":"C J Van Rijsbergen. 1986. A new theoretical framework for information retrieval. SIGIR Forum (1986).","journal-title":"J Van Rijsbergen."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Xuezhi Wang and Denny Zhou. 2024. Chain-of-thought reasoning without prompting. In NeurIPS.","DOI":"10.52202\/079017-2123"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.52202\/079017-2164"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Jason Wei Xuezhi Wang Dale Schuurmans et al. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. In NeurIPS.","DOI":"10.52202\/068431-1800"},{"key":"e_1_3_2_1_46_1","unstructured":"Orion Weller Michael Boratko Iftekhar Naim and Jinhyuk Lee. 2025. On the Theoretical Limitations of Embedding-Based Retrieval. CoRR: abs\/2508.21038."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Orion Weller Dawn J. Lawrie and Benjamin Van Durme. 2024. NevIR: Negation in Neural Information Retrieval. In EACL.","DOI":"10.18653\/v1\/2024.eacl-long.139"},{"key":"e_1_3_2_1_48_1","unstructured":"Lionel Wong Katherine M. Collins Lance Ying et al. 2025. Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models. CoRR: abs\/2507.12547."},{"key":"e_1_3_2_1_49_1","volume-title":"World Models: Translating from Natural Language to the Probabilistic Language of Thought. CoRR: abs\/2306.12672.","author":"Wong Lionel","year":"2023","unstructured":"Lionel Wong, Gabriel Grand, Alexander K. Lew, et al., 2023. From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought. CoRR: abs\/2306.12672."},{"key":"e_1_3_2_1_50_1","volume-title":"ICML 2024 Workshop on LLMs and Cognition.","author":"Yang Menglin","year":"2024","unstructured":"Menglin Yang, Aosong Feng, Bo Xiong, Jiahong Liu, Irwin King, and Rex Ying. 2024a. Enhancing LLM Complex Reasoning Capability through Hyperbolic Geometry. In ICML 2024 Workshop on LLMs and Cognition."},{"key":"e_1_3_2_1_51_1","unstructured":"Menglin Yang Aosong Feng Bo Xiong Jihong Liu Irwin King and Rex Ying. 2024b. Hyperbolic Fine-tuning for Large Language Models. CoRR: abs\/2410.04010."},{"key":"e_1_3_2_1_52_1","unstructured":"Shunyu Yao Dian Yu Jeffrey Zhao et al. 2023. Tree of Thoughts: Deliberate Problem Solving with Large Language Models. In NeurIPS."},{"key":"e_1_3_2_1_53_1","unstructured":"Zhangyue Yin Qiushi Sun Qipeng Guo et al. 2024. Reasoning in flux: Enhancing large language models reasoning through uncertainty-aware adaptive guidance. In ACL."},{"key":"e_1_3_2_1_54_1","volume-title":"AI for Math Workshop @ ICML","author":"Yue Yang","year":"2025","unstructured":"Yang Yue, Zhiqi Chen, Rui Lu, et al., 2025. Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?. In AI for Math Workshop @ ICML 2025."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Wenhao Zhang Mengqi Zhang Shiguang Wu et al. 2025. ExcluIR: Exclusionary neural information retrieval. In AAAI.","DOI":"10.1609\/aaai.v39i12.33451"}],"event":{"name":"SIGIR '26: The 49th International ACM SIGIR Conference on Research and Development in Information Retrieval","location":"Melbourne VIC Australia","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval"],"original-title":[],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:20:17Z","timestamp":1784136017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3805712.3808644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,19]]},"references-count":55,"alternative-id":["10.1145\/3805712.3808644","10.1145\/3805712"],"URL":"https:\/\/doi.org\/10.1145\/3805712.3808644","relation":{},"subject":[],"published":{"date-parts":[[2026,7,19]]},"assertion":[{"value":"2026-07-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}