{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T08:11:44Z","timestamp":1783757504253,"version":"3.55.0"},"reference-count":93,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T00:00:00Z","timestamp":1779494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T00:00:00Z","timestamp":1779494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007109","name":"Universit\u00e0 degli Studi di Ferrara","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007109","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule generation methods produce rules containing unnamed predicates, with Predicate Invention being a key example. This hinders the readability, interpretability, and reusability of the logic theory. Leveraging recent advancements in LLMs development, we explore their ability to process natural language and code to provide semantically meaningful suggestions for giving a name to unnamed predicates. The evaluation of our approach on some hand-crafted logic rules indicates that LLMs hold potential for this task.<\/jats:p>","DOI":"10.1007\/s10994-026-07075-1","type":"journal-article","created":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T09:23:02Z","timestamp":1779528182000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Predicate Renaming via Large Language Models"],"prefix":"10.1007","volume":"115","author":[{"given":"Elisabetta","family":"Gentili","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tony","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,23]]},"reference":[{"key":"7075_CR1","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., & Vianu, V. (1995). Foundations of databases. Addison-Wesley."},{"key":"7075_CR2","unstructured":"Alammar, J., & Grootendorst, M. (2024). Hands-On Large Language Models. O\u2019Reilly, Sebastopol, CA, USA, https:\/\/www.oreilly.com\/library\/view\/hands-on-large-language\/9781098150952\/."},{"key":"7075_CR3","unstructured":"Basu, K., Murugesan, K., & Atzeni, M. (2021). A hybrid neuro-symbolic approach for text-based games using inductive logic programming. Combining learning and reasoning: programming languages, formalisms, and representations"},{"key":"7075_CR4","unstructured":"Bommasani, R., Hudson, D. A., & Adeli, E. (2021). On the opportunities and risks of foundation models. arXiv:2108.07258"},{"key":"7075_CR5","unstructured":"Bordes, A., Usunier, N., & Garcia-Duran, A. (2013). Translating embeddings for modeling multi-relational data. Advances in Neural Information Processing Systems 26."},{"key":"7075_CR6","unstructured":"Brown, T., Mann, B., & Ryder, N. (2020). Language models are few-shot learners. In: H. Larochelle, M. Ranzato, & R. Hadsell (Eds.), Advances in neural information processing systems (Vol. 33, pp. 1877\u20131901). Curran Associates, Inc."},{"key":"7075_CR7","unstructured":"Chen, M., Tworek, J., & Jun, H. (2021). Evaluating large language models trained on code. arXiv:2107.03374"},{"key":"7075_CR8","unstructured":"Cobbe, K., Kosaraju, V., & Bavarian, M. (2021). Training verifiers to solve math word problems. arXiv:2110.14168"},{"key":"7075_CR9","unstructured":"Cohere For AI (2024) c4ai-command-r-plus-08-2024. https:\/\/doi.org\/10.57967\/hf\/3135, https:\/\/huggingface.co\/CohereForAI\/c4ai-command-r-plus-08-2024"},{"key":"7075_CR10","doi-asserted-by":"publisher","unstructured":"Colmerauer, A., & Roussel, P. (1996). The birth of Prolog, Association for Computing Machinery, New York, NY, USA, pp. 331\u2013367. https:\/\/doi.org\/10.1145\/234286.1057820.","DOI":"10.1145\/234286.1057820"},{"key":"7075_CR11","unstructured":"Creswell, A., Shanahan, M., & Higgins, I. (2022). Selection-inference: Exploiting large language models for interpretable logical reasoning. arXiv:2205.09712"},{"key":"7075_CR12","doi-asserted-by":"crossref","unstructured":"Cropper, A., & Duman\u010di\u0107, S. (2022). Inductive logic programming at 30: A new introduction. Journal of Artificial Intelligence Research, 74, 765\u2013850.","DOI":"10.1613\/jair.1.13507"},{"key":"7075_CR13","doi-asserted-by":"crossref","unstructured":"Cropper, A., & Morel, R. (2021a). Learning programs by learning from failures. Machine Learning, 110(4), 801\u2013856.","DOI":"10.1007\/s10994-020-05934-z"},{"key":"7075_CR14","doi-asserted-by":"crossref","unstructured":"Cropper, A., & Morel, R. (2021b). Predicate invention by learning from failures. arXiv:2104.14426","DOI":"10.1007\/s10994-020-05934-z"},{"key":"7075_CR15","doi-asserted-by":"crossref","unstructured":"Cunnington, D., Law, M., Lobo, J., & Russo, A. (2024). The role of foundation models in neuro symbolic learning and reasoning. In: T. R. Besold, A. d\u2019Avila Garcez, & E. Jimenez-Ruiz (Eds.), Neural-symbolic learning and reasoning (pp. 84\u2013100). Springer.","DOI":"10.1007\/978-3-031-71167-1_5"},{"key":"7075_CR16","doi-asserted-by":"publisher","unstructured":"Dash, A., Mathur, B., & Patil, P. (2024). Enhancing carbon emission tracking with gemini: An ai solution for sustainable development. https:\/\/doi.org\/10.13140\/RG.2.2.26165.90089","DOI":"10.13140\/RG.2.2.26165.90089"},{"key":"7075_CR17","doi-asserted-by":"crossref","unstructured":"De Giorgis, S., Gangemi, A., & Russo, A. (2024). Neurosymbolic graph enrichment for grounded world models. arXiv:2411.12671","DOI":"10.1016\/j.ipm.2025.104127"},{"key":"7075_CR18","unstructured":"DeepMind, G. (2024). Gemini 1.5 Flash. https:\/\/ai.google.dev\/gemini-api\/docs\/models\/gemini?hl=it#gemini-1.5-flash."},{"key":"7075_CR19","doi-asserted-by":"crossref","unstructured":"Dettmers, T., Pagnoni, A., Holtzman, A., & Zettlemoyer, L. (2023). Qlora: Efficient finetuning of quantized llms. In: A. Oh, T. Naumann, A. Globerson, K. Saenko, M. Hardt, S. Levine (Eds.), Advances in Neural Information Processing Systems (Vol. 36, pp. 10088\u201310115). Curran Associates Inc.","DOI":"10.52202\/075280-0441"},{"key":"7075_CR20","doi-asserted-by":"crossref","unstructured":"Fadja, A. N., Lamma, E., & Riguzzi, F. (2017). Deep probabilistic logic programming. Plp@ Ilp (pp. 3\u201314)","DOI":"10.1007\/978-3-319-69775-8_5"},{"key":"7075_CR21","unstructured":"Falcon-LLM Team. (2024). The Falcon 3 Family of Open Models. https:\/\/huggingface.co\/blog\/falcon3."},{"issue":"1","key":"7075_CR22","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s12599-023-00834-7","volume":"66","author":"S Feuerriegel","year":"2024","unstructured":"Feuerriegel, S., Hartmann, J., Janiesch, C., & Zschech, P. (2024). Generative ai. Business & Information Systems Engineering, 66(1), 111\u2013126.","journal-title":"Business &amp; Information Systems Engineering"},{"key":"7075_CR23","unstructured":"Gandarela, J. P., Carvalho, D. S., & Freitas, A. (2024). Inductive learning of logical theories with LLMs: A complexity-graded analysis. arXiv:2408.16779"},{"key":"7075_CR24","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In: ICLP\/SLP, https:\/\/api.semanticscholar.org\/CorpusID:261517573."},{"key":"7075_CR25","unstructured":"Gu, A., & Dao, T. (2023). Mamba: Linear-time sequence modeling with selective state spaces. arXiv:2312.00752"},{"issue":"1","key":"7075_CR26","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/1925844.1926423","volume":"46","author":"S Gulwani","year":"2011","unstructured":"Gulwani, S. (2011). Automating string processing in spreadsheets using input-output examples. ACM Sigplan Notices, 46(1), 317\u2013330.","journal-title":"ACM Sigplan Notices"},{"key":"7075_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2023.101155","volume":"83","author":"SJ Han","year":"2024","unstructured":"Han, S.J., Ransom, K.J., Perfors, A. & Kemp, C. (2024). Inductive reasoning in humans and large language models. Cognitive Systems Research, 83, Article 101155. https:\/\/doi.org\/10.1016\/j.cogsys.2023.101155","journal-title":"Cognitive Systems Research"},{"key":"7075_CR28","unstructured":"Hinton, G. (2015). Distilling the knowledge in a neural network. arXiv:1503.02531"},{"key":"7075_CR29","doi-asserted-by":"crossref","unstructured":"Hou, X., Zhao, Y., Liu, Y., Yang, Z., Wang, K., Li, L., Luo, X., Lo, D., Grundy, J., & Wang, H. (2024). Large language models for software engineering: A systematic literature review. ACM Transactions on Software Engineering and Methodology, 33(8), 1\u201379.","DOI":"10.1145\/3695988"},{"issue":"2","key":"7075_CR30","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10994-013-5341-z","volume":"91","author":"K Inoue","year":"2013","unstructured":"Inoue, K., Doncescu, A., & Nabeshima, H. (2013). Completing causal networks by meta-level abduction. Machine Learning, 91(2), 239\u2013277.","journal-title":"Machine Learning"},{"key":"7075_CR31","doi-asserted-by":"crossref","unstructured":"Inoue, K., Furukawa, K., Kobayashi, I., & Nabeshima, H. (2010). Discovering rules by meta-level abduction. In: Inductive logic programming: 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers 19, Springer, pp. 49\u201364.","DOI":"10.1007\/978-3-642-13840-9_6"},{"key":"7075_CR32","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s10994-013-5353-8","volume":"94","author":"K Inoue","year":"2014","unstructured":"Inoue, K., Ribeiro, T., & Sakama, C. (2014). Learning from interpretation transition. Machine Learning, 94, 51\u201379.","journal-title":"Machine Learning"},{"key":"7075_CR33","doi-asserted-by":"crossref","unstructured":"Ishay, A., Yang, Z., & Lee, J. (2023). Leveraging large language models to generate answer set programs. arXiv:2307.07699","DOI":"10.24963\/kr.2023\/37"},{"key":"7075_CR34","doi-asserted-by":"crossref","unstructured":"Jeblick, K., Schachtner, B., Dexl, J., Mittermeier, A., St\u00fcber, A. T., Topalis, J., Weber, T., Wesp, P., Sabel, B. O., Ricke, J., & Ingrisch, M. (2024). Chatgpt makes medicine easy to swallow: An exploratory case study on simplified radiology reports. European Radiology, 34(5), 2817\u20132825.","DOI":"10.1007\/s00330-023-10213-1"},{"key":"7075_CR35","unstructured":"Jiang, J., Wang, F., & Shen, J. (2024). A survey on large language models for code generation. arXiv:2406.00515"},{"key":"7075_CR36","unstructured":"Kaddour, J., Harris, J., & Mozes, M. (2023). Challenges and applications of large language models. arXiv:2307.10169"},{"issue":"6","key":"7075_CR37","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1992","unstructured":"Kakas, A. C., Kowalski, R. A., & Toni, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6), 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"7075_CR38","doi-asserted-by":"crossref","unstructured":"Kareem, I., Gallagher, K., Borroto, M., Ricca, F., & Russo, A. (2025). Using learning from answer sets for robust question answering with llm. In C. Dodaro, G. Gupta, & M. V. Martinez (Eds.), Logic programming and nonmonotonic reasoning (pp. 112\u2013125). Springer.","DOI":"10.1007\/978-3-031-74209-5_9"},{"key":"7075_CR39","doi-asserted-by":"crossref","unstructured":"Kim, J., Lee, J. H., Kim, S., Park, J., Yoo, K. M., Kwon, S. J., & Lee, D. (2023). Memory-efficient fine-tuning of compressed large language models via sub-4-bit integer quantization. In A. Oh, T. Naumann, & A. Globerson (Eds.), Advances in neural information processing systems (Vol. 36, pp. 36187\u201336207). Curran Associates Inc.","DOI":"10.52202\/075280-1569"},{"key":"7075_CR40","unstructured":"Kobayashi, I., & Furukawa, K. (2009). Hypothesis selection using domain theory in rule abductive support for skills. SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence. in Japanese."},{"key":"7075_CR41","doi-asserted-by":"crossref","unstructured":"Kojima, T., Gu, S. S., & Reid, M. (2022). Large language models are zero-shot reasoners. In: S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, & A. Oh (Eds.), Advances in Neural Information Processing Systems, vol\u00a035. Curran Associates, Inc., Red Hook, NY, USA, pp. 22199\u201322213, https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2022\/file\/8bb0d291acd4acf06ef112099c16f326-Paper-Conference.pdf","DOI":"10.52202\/068431-1613"},{"key":"7075_CR42","doi-asserted-by":"crossref","unstructured":"Kok, S., & Domingos, P. (2005). Learning the structure of markov logic networks. Proceedings of the 22nd international conference on Machine learning (pp. 441\u2013448).","DOI":"10.1145\/1102351.1102407"},{"key":"7075_CR43","doi-asserted-by":"publisher","DOI":"10.1109\/access.2023.3326474","author":"A Koubaa","year":"2023","unstructured":"Koubaa, A., Boulila, W., & Ghouti, L. (2023). Exploring ChatGPT capabilities and limitations: A survey. IEEE Access. https:\/\/doi.org\/10.1109\/access.2023.3326474","journal-title":"IEEE Access"},{"key":"7075_CR44","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/35043.35046","volume":"31","author":"RA Kowalski","year":"1988","unstructured":"Kowalski, R. A. (1988). The early years of logic programming. Communications of the ACM, 31, 38\u201343.","journal-title":"Communications of the ACM"},{"key":"7075_CR45","unstructured":"Kramer, S. (1995). Rapport technique OFAI-TR-95-32, Austrian Research Institute for Artificial Intelligence. Vienna. Predicate invention: A comprehensive view."},{"key":"7075_CR46","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., & Broda, K. (2014). Inductive learning of answer set programs. In: Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings 14, Springer, pp. 311\u2013325.","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"7075_CR47","unstructured":"Law, M., Russo, A., & Broda, K. (2020). The ilasp system for inductive learning of answer set programs. arXiv:2005.00904"},{"key":"7075_CR48","doi-asserted-by":"crossref","unstructured":"Li, Z., Cao, Y., & Xu, X. (2024). Llms for relational reasoning: How far are we? Proceedings of the 1st International Workshop on Large Language Models for Code (pp. 119\u2013126).","DOI":"10.1145\/3643795.3648387"},{"key":"7075_CR49","doi-asserted-by":"crossref","unstructured":"Liu, N. F., Lin, K., Hewitt, J., Paranjape, A., Bevilacqua, M., Petroni, F., & Liang, P. (2024a). Lost in the middle: How language models use long contexts. Transactions of the Association for Computational Linguistics, 12, 157\u2013173.","DOI":"10.1162\/tacl_a_00638"},{"key":"7075_CR50","doi-asserted-by":"crossref","unstructured":"Liu, Y., He, H., & Han, T. (2024b). Understanding llms: A comprehensive overview from training to inference. arXiv:2401.02038","DOI":"10.2139\/ssrn.4706201"},{"key":"7075_CR51","doi-asserted-by":"crossref","unstructured":"Magdy, S. M., Alwajih, F., Kwon, S. Y., Abdel-Salam, R., & Abdul-Mageed, M. (2024). Gazelle: An instruction dataset for Arabic writing assistance. https:\/\/arxiv.org\/abs\/2410.18163","DOI":"10.18653\/v1\/2024.findings-emnlp.941"},{"key":"7075_CR52","unstructured":"Meta. (2024a). Llama 3.2 Model Card. https:\/\/github.com\/meta-llama\/llama-models\/blob\/main\/models\/llama3_2\/MODEL_CARD.md."},{"key":"7075_CR53","unstructured":"Meta. (2024b). Llama 3.2: Revolutionizing edge AI and vision with open, customizable models. https:\/\/github.com\/meta-llama\/llama-models\/blob\/main\/models\/llama3_2\/MODEL_CARD.md."},{"key":"7075_CR54","doi-asserted-by":"crossref","unstructured":"Min,S., Lyu, X., Holtzman, A., Artetxe, M., Lewis, M., Hajishirzi, H., & Zettlemoyer, L.(2022). Rethinking the Role of Demonstrations: What makes In-context Learning Work? In: EMNLP.","DOI":"10.18653\/v1\/2022.emnlp-main.759"},{"key":"7075_CR55","doi-asserted-by":"crossref","unstructured":"Mondillo, G., Frattolillo, V., & Colosimo, S. (2024). Basal knowledge in the field of pediatric nephrology and its enhancement following specific training of chatgpt-4 \u201comni\u201d and gemini 1.5 flash. Pediatric Nephrology, 1\u20137.","DOI":"10.1007\/s00467-024-06486-3"},{"key":"7075_CR56","doi-asserted-by":"crossref","unstructured":"Mooney, R. J. (1996). Inductive logic programming for natural language processing. International conference on inductive logic programming (pp. 1\u201322). Springer.","DOI":"10.1007\/3-540-63494-0_45"},{"key":"7075_CR57","doi-asserted-by":"publisher","unstructured":"Moradi Dakhel, A., Majdinasab, V., Nikanjam, A., Khomh, F., Desmarais, M. C., & Jiang, Z. M. J. (2023). GitHub Copilot AI pair programmer: Asset or liability? Journal of Systems and Software, 203, Article 111734. https:\/\/doi.org\/10.1016\/j.jss.2023.111734","DOI":"10.1016\/j.jss.2023.111734"},{"key":"7075_CR58","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S. (1991). Inductive logic programming. New Generation Computing, 8, 295\u2013318.","journal-title":"New Generation Computing"},{"key":"7075_CR59","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/B978-0-934613-64-4.50040-2","volume-title":"Machine Learning Proceedings 1988","author":"S Muggleton","year":"1988","unstructured":"Muggleton, S., & Buntine, W. (1988). Machine invention of first-order predicates by inverting resolution. Machine Learning Proceedings 1988 (pp. 339\u2013352). Elsevier."},{"key":"7075_CR60","doi-asserted-by":"crossref","unstructured":"Muggleton, S., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K., & Srinivasan, A. (2012). Ilp turns 20: Biography and future challenges. Machine Learning, 86, 3\u201323.","DOI":"10.1007\/s10994-011-5259-2"},{"issue":"1","key":"7075_CR61","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S. H., Lin, D., & Tamaddoni-Nezhad, A. (2015). Meta-interpretive learning of higher-order dyadic Datalog: Predicate invention revisited. Machine Learning, 100(1), 49\u201373.","journal-title":"Machine Learning"},{"issue":"7","key":"7075_CR62","doi-asserted-by":"publisher","first-page":"1637","DOI":"10.1007\/s10994-021-06016-4","volume":"110","author":"A Nguembang Fadja","year":"2021","unstructured":"Nguembang Fadja, A., Riguzzi, F., & Lamma, E. (2021). Learning hierarchical probabilistic logic programs. Machine Learning, 110(7), 1637\u20131693.","journal-title":"Machine Learning"},{"key":"7075_CR63","unstructured":"OpenAI. (2024a). GPT-4o System Card. https:\/\/openai.com\/index\/gpt-4o-system-card."},{"key":"7075_CR64","unstructured":"OpenAI. (2024b). Hello GPT-4o. https:\/\/openai.com\/index\/hello-gpt-4o."},{"key":"7075_CR65","unstructured":"OpenAI. (2025). OpenAI o3-mini System Card. https:\/\/openai.com\/index\/o3-mini-system-card."},{"key":"7075_CR66","doi-asserted-by":"publisher","unstructured":"Pearce, H., Tan, B., Ahmad, B., Karri, R., & Dolan-Gavitt, B. (2023). Examining zero-shot vulnerability repair with large language models. In: 2023 IEEE Symposium on Security and Privacy (SP), pp. 2339\u20132356, https:\/\/doi.org\/10.1109\/SP46215.2023.10179324","DOI":"10.1109\/SP46215.2023.10179324"},{"key":"7075_CR67","unstructured":"Raffel, C., Shazeer, N., Roberts, A., Lee, K., Narang, S., Matena, M., Zhou, Y., Li, W., & Liu, P. J. (2020). Exploring the limits of transfer learning with a unified text-to-text transformer. Journal of Machine Learning Research, 21(140), 1\u201367."},{"key":"7075_CR68","doi-asserted-by":"crossref","unstructured":"Rao, A., Pang, M., Kim, J., Kamineni, M., Lie, W., Prasad, A. K., Landman, A., Dreyer, K., & Succi, M. D. (2023). Assessing the utility of ChatGPT throughout the entire clinical workflow: Development and usability study. Journal of Medical Internet Research, 25, Article e48659.","DOI":"10.2196\/48659"},{"key":"7075_CR69","doi-asserted-by":"crossref","unstructured":"Rezayi, S., Liu, Z., & Wu, Z. (2022). Agribert: Knowledge-infused agricultural language models for matching food and nutrition. IJCAI, 5150\u20135156.","DOI":"10.24963\/ijcai.2022\/715"},{"key":"7075_CR70","doi-asserted-by":"publisher","unstructured":"Ribeiro, T., Folschette, M., Magnin, M., & Inoue, K. (2021). Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Machine Learning. https:\/\/doi.org\/10.1007\/s10994-021-06105-4","DOI":"10.1007\/s10994-021-06105-4"},{"key":"7075_CR71","doi-asserted-by":"crossref","unstructured":"Riguzzi, F. (2023). Foundations of probabilistic logic programming: Languages, semantics, inference and learning (2nd ed.). River Publishers.","DOI":"10.1201\/9781003427421"},{"key":"7075_CR72","doi-asserted-by":"crossref","unstructured":"Sato, T., Inoue, K., & Sakama, C. (2018). Abducing relations in continuous spaces. IJCAI (pp. 1956\u20131962).","DOI":"10.24963\/ijcai.2018\/270"},{"key":"7075_CR73","doi-asserted-by":"crossref","unstructured":"Sha, J., Shindo, H., & Kersting, K. (2024). Neuro-symbolic predicate invention: Learning relational concepts from visual scenes. Neurosymbolic Artificial Intelligence, 1\u201326.","DOI":"10.3233\/NAI-240712"},{"key":"7075_CR74","doi-asserted-by":"crossref","unstructured":"Srinivasan, A., King, R. D., & Muggleton, S. H. (1997). Carcinogenesis predictions using ilp. International Conference on Inductive Logic Programming (pp. 273\u2013287). Springer.","DOI":"10.1007\/3540635149_56"},{"key":"7075_CR75","doi-asserted-by":"crossref","unstructured":"Srinivasan, A., Muggleton, S. H., Sternberg, M. J., & King, R. D. (1996). Theories for mutagenicity: A study in first-order and feature-based induction. Artificial Intelligence, 85(1\u20132), 277\u2013299.","DOI":"10.1016\/0004-3702(95)00122-0"},{"key":"7075_CR76","unstructured":"Srivastava, A., Rastogi, A., & Rao, A. (2022). Beyond the imitation game: Quantifying and extrapolating the capabilities of language models. arXiv:2206.04615"},{"key":"7075_CR77","doi-asserted-by":"crossref","unstructured":"Stahl, I. (1993). Predicate invention in ilp-an overview. European conference on machine learning (pp. 311\u2013322). Springer.","DOI":"10.1007\/3-540-56602-3_144"},{"key":"7075_CR78","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1022638219164","volume":"20","author":"I Stahl","year":"1995","unstructured":"Stahl, I. (1995). The appropriateness of predicate invention as bias shift operation in ILP. Machine Learning, 20, 95\u2013117.","journal-title":"Machine Learning"},{"key":"7075_CR79","unstructured":"Talmor, A., Herzig, J., & Lourie, N. (2018). Commonsenseqa: A question answering challenge targeting commonsense knowledge. arXiv:1811.00937"},{"key":"7075_CR80","doi-asserted-by":"crossref","unstructured":"Tarau, P. (2025). On llm-generated logic programs and their inference execution methods. arXiv:2502.09209","DOI":"10.4204\/EPTCS.416.1"},{"key":"7075_CR81","unstructured":"Touvron, H., Lavril, T., & Izacard, G. (2023). Llama: Open and efficient foundation language models. arXiv:2302.13971"},{"key":"7075_CR82","unstructured":"Valmeekam, K., Olmo, A., & Sreedharan, S. (2022). Large language models still can\u2019t plan (a benchmark for llms on planning and reasoning about change). NeurIPS 2022 Foundation Models for Decision Making Workshop."},{"key":"7075_CR83","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., Kaiser, L. U., & Polosukhin, I. (2017). Attention is all you need. In: Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., & Garnett, R. (Eds.), Advances in Neural Information Processing Systems, vol\u00a030. Curran Associates, Inc., Red Hook, NY, USA, https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2017\/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf"},{"key":"7075_CR84","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S., & Bruynooghe, M. (2004). Logic programs with annotated disjunctions. In: Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings 20, Springer, pp. 431\u2013445.","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"7075_CR85","unstructured":"Wang, R., Zelikman, E., & Poesia, G. (2023). Hypothesis search: Inductive reasoning with language models. arXiv:2309.05660"},{"key":"7075_CR86","doi-asserted-by":"crossref","unstructured":"Wei, J., Wang, X., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E. H., Le, Q. V., & Zhou, D. (2022). Chain-of-thought prompting elicits reasoning in large language models. Advances in Neural Information Processing Systems, 35, 24824\u201324837.","DOI":"10.52202\/068431-1800"},{"key":"7075_CR87","doi-asserted-by":"crossref","unstructured":"Wolf, T., Debut, L., Sanh, V., Chaumond, J., Delangue, C., Moi, A., Cistac, P., Rault, T., Louf, R., Funtowicz, M., Davison, J., Shleifer, S., Platen, P., Ma, C., Jernite, Y., Plu, J., Xu, C., Scao, T. L., Gugger, S., Drame, M., Lhoest, Q., & Rush, A. M. (2020). Transformers: State-of-the-art natural language processing. In: Proceedings of the 2020 conference on empirical methods in natural language processing: system demonstrations. Association for Computational Linguistics, Online, pp. 38\u201345, https:\/\/www.aclweb.org\/anthology\/2020.emnlp-demos.6","DOI":"10.18653\/v1\/2020.emnlp-demos.6"},{"key":"7075_CR88","doi-asserted-by":"publisher","unstructured":"Wu, Z., Zhang, L., Cao, C., Yu, X., Liu, Z., Zhao, L., Li, Y., Dai, H., Ma, C., Li, G., Liu, W., Li, Q., Shen, D., Li, X., Zhu, D., & Liu, T. (2025). Exploring the trade-offs: Unified large language models vs local fine-tuned models for highly-specific radiology NLI task. IEEE Transactions on Big Data, 11(3), 1027\u20131041. https:\/\/doi.org\/10.1109\/TBDATA.2025.3536928","DOI":"10.1109\/TBDATA.2025.3536928"},{"key":"7075_CR89","doi-asserted-by":"crossref","unstructured":"Yang, Z., Dong, L., Du, X., Cheng, H., Cambria, E., Liu, X., Gao, J., & Wei, F. (2020). On the sub-layer functionalities of transformer decoder. In: Cohn T, He Y, Liu Y (Eds.), Findings of the Association for Computational Linguistics: EMNLP 2020. Association for Computational Linguistics, Online, pp. 4799\u20134811. https:\/\/aclanthology.org\/2020.findings-emnlp.432\/","DOI":"10.18653\/v1\/2020.findings-emnlp.432"},{"key":"7075_CR90","doi-asserted-by":"crossref","unstructured":"Yang, Y., Wang, L., Shi, S., Tadepalli, P., Lee, S., & Tu, Z. (2024). On the sub-layer function-alities of transformer decoder. In: Cohn, T., He, Y., Liu, Y (Eds.), Language models as inductive reasoners. In: Graham Y, Purver M (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers). Association for Computational Linguistics, St. Julian\u2019s, Malta, pp 209\u2013225, https:\/\/aclanthology.org\/2024.eacl-long.13\/","DOI":"10.18653\/v1\/2024.eacl-long.13"},{"issue":"8","key":"7075_CR91","doi-asserted-by":"publisher","first-page":"10220","DOI":"10.1109\/TNNLS.2023.3246980","volume":"35","author":"Z Zhang","year":"2024","unstructured":"Zhang, Z., Yilmaz, L., & Liu, B. (2024). A critical review of inductive logic programming techniques for explainable AI. IEEE Transactions on Neural Networks and Learning Systems, 35(8), 10220\u201310236. https:\/\/doi.org\/10.1109\/TNNLS.2023.3246980","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"7075_CR92","doi-asserted-by":"publisher","first-page":"46595","DOI":"10.52202\/075280-2020","volume":"36","author":"L Zheng","year":"2023","unstructured":"Zheng, L., Chiang, W., Sheng, Y., Zhuang, S., Wu, Z., Zhuang, Y., Lin, Z., Li, Z., Li,D., Xing, E.P., Zhang, H., Gonzalez, J.E., Stoica, I.(2023). Judging llm-as-a-judge with mt-bench and chatbot arena. Advances in Neural Information Processing Systems, 36, 46595\u201346623. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2023\/hash\/91f18a1287b398d378ef22505bf41832-Abstract-Datasets_and_Benchmarks.html","journal-title":"Advances in Neural Information Processing Systems"},{"key":"7075_CR93","unstructured":"Zuo, J., Velikanov, M., Rhaiem, D.E., Chahed, I., Belkada, Y., Kunsch, G., Hacid, H.: Falcon Mamba: The First Competitive Attention-free 7B Language Model (2024). https:\/\/arxiv.org\/abs\/2410.05355"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-026-07075-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-026-07075-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-026-07075-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T07:13:19Z","timestamp":1783753999000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-026-07075-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,23]]},"references-count":93,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["7075"],"URL":"https:\/\/doi.org\/10.1007\/s10994-026-07075-1","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,23]]},"assertion":[{"value":"24 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2026","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2026","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2026","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"135"}}