{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:15:53Z","timestamp":1746591353567,"version":"3.40.5"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031893650","type":"print"},{"value":"9783031893667","type":"electronic"}],"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-89366-7_4","type":"book-chapter","created":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T10:43:35Z","timestamp":1746528215000},"page":"52-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Program Synthesis Using Inductive Logic Programming for\u00a0the\u00a0Abstraction and\u00a0Reasoning Corpus"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4171-4459","authenticated-orcid":false,"given":"Filipe Marinho","family":"Rocha","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3578-7769","authenticated-orcid":false,"given":"In\u00eas","family":"Dutra","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3344-8237","authenticated-orcid":false,"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4709-1718","authenticated-orcid":false,"given":"Lu\u00eds Paulo","family":"Reis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"4_CR1","unstructured":"Chollet, F.: On the measure of intelligence. arXiv preprint arXiv:1911.01547 (2019)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Lee, S., et al.: Reasoning abilities of large language models: in-depth analysis on the abstraction and reasoning corpus. arXiv preprint arXiv:2403.11793 (2024)","DOI":"10.1145\/3712701"},{"key":"4_CR3","unstructured":"Butt, N., et al.: CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay. arXiv preprint: arXiv:2402.04858 (2024)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Mikel, B.-I., Banerjee, S.: Neural networks for abstraction and reasoning: towards broad generalization in machines. arXiv preprint: arXiv:2402.03507 (2024)","DOI":"10.21203\/rs.3.rs-4296928\/v1"},{"key":"4_CR5","unstructured":"Xu, Y., Li, W., Vaezipoor, P., Sanner, S., Khalil, E.B.: LLMS and the abstraction and reasoning corpus: Successes, failures, and the importance of object-based representations. arXiv preprint arXiv:2305.18354 (2023)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Lei, C., Lipovetzky, N., Ehinger, K.A.: Generalized Planning for the Abstraction and Reasoning Corpus. arXiv preprint: arXiv:2401.07426 (2024)","DOI":"10.1609\/aaai.v38i18.29996"},{"key":"4_CR7","unstructured":"Mitchell, M., Palmarini, A.B., Moskvichev, A.: Comparing Humans, GPT-4, and GPT-4V on abstraction and reasoning tasks. arXiv preprint: arXiv:2311.09247 (2023)"},{"key":"4_CR8","unstructured":"Johnson, A., Vong, W.K., Lake, B.M., Gureckis, T.M.: Fast and flexible: Human program induction in abstract reasoning tasks. arXiv preprint: arXiv:2103.05823 (2021)"},{"key":"4_CR9","unstructured":"Acquaviva, S., et al.: Communicating natural programs to humans and machines. In: Advances in Neural Information Processing Systems, vol. 35, pp. 3731\u20133743 (2022)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Kirchheim, K., Gonschorek, T., Ortmeier, F.: Out-of-Distribution Detection With Logical Reasoning. In: Proceedings of the IEEE\/CVF Winter Conference on Applications of Computer Vision, pp. 2122\u20132131 (2024)","DOI":"10.1109\/WACV57701.2024.00212"},{"key":"4_CR11","unstructured":"Farquhar, S., Gal, Y.: What \u2019Out-of-distribution. Is and Is Not. In: NeurIPS ML Safety Workshop (2022)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ye, N., et al.: OoD-bench: quantifying and understanding two dimensions of out-of-distribution generalization. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 7947\u20137958 (2022)","DOI":"10.1109\/CVPR52688.2022.00779"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1111\/j.1467-7687.2007.00569.x","volume":"10","author":"ES Spelke","year":"2007","unstructured":"Spelke, E.S., Kinzler, K.D.: Core knowledge. Dev. Sci. 10(1), 89\u201396 (2007)","journal-title":"Dev. Sci."},{"key":"4_CR14","unstructured":"Witt, J., Rasing, S., Duman\u010di\u0107, S., Guns, T., Carbon, C.-C.: A Divide-Align-Conquer Strategy for Program Synthesis. arXiv preprint: arXiv:2301.03094 (2023)"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Raven, J.: Raven progressive matrices. In: McCallum, R.S. (eds.) Handbook of Nonverbal Assessment, pp. 223\u2013237. Springer, Boston, MA (2003). https:\/\/doi.org\/10.1007\/978-1-4615-0153-4_11","DOI":"10.1007\/978-1-4615-0153-4_11"},{"key":"4_CR16","unstructured":"Marcus, G.: Deep learning: a critical appraisal. arXiv preprint arXiv:1801.00631 (2018)"},{"key":"4_CR17","unstructured":"Singh, M., Cambronero, J., Gulwani, S., Le, V., Verbruggen, G.: Assessing GPT4-V on Structured Reasoning Tasks. arXiv preprint: arXiv:2303.08774 (2023)"},{"key":"4_CR18","unstructured":"Achiam, J., et al.: Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)"},{"key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X16001837","volume":"40","author":"BM Lake","year":"2017","unstructured":"Lake, B.M., Ullman, T.D., Tenenbaum, J.B., Gershman, S.J.: Building machines that learn and think like people. Behav. Brain Sci. 40, e253 (2017)","journal-title":"Behav. Brain Sci."},{"issue":"7553","key":"4_CR20","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y LeCun","year":"2015","unstructured":"LeCun, Y., Bengio, Y., Hinton, G.: Deep learning. Nature 521(7553), 436\u2013444 (2015)","journal-title":"Nature"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10994-021-06089-1","volume":"111","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Duman\u010di\u0107, S., Evans, R., Muggleton, S.H.: Inductive logic programming at 30. Mach. Learn. 111(1), 147\u2013172 (2022)","journal-title":"Mach. Learn."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: theory and methods. J. Logic Program. 19, 629\u2013679 (1994)","journal-title":"J. Logic Program."},{"issue":"11","key":"4_CR23","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2736282","volume":"58","author":"S Gulwani","year":"2015","unstructured":"Gulwani, S., Hern\u00e1ndez-Orallo, J., Kitzelmann, E., Muggleton, S.H., Schmid, U., Zorn, B.: Inductive programming meets the real world. Commun. ACM 58(11), 90\u201399 (2015)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"4_CR24","first-page":"1","volume":"4","author":"S Gulwani","year":"2017","unstructured":"Gulwani, S., Polozov, O., Singh, R., et al.: Program synthesis. Found. Trends\u00ae Program. Lang. 4(1\u20132), 1\u2013119 (2017)","journal-title":"Found. Trends\u00ae Program. Lang."},{"key":"4_CR25","first-page":"3","volume":"1","author":"JG Carbonell","year":"1983","unstructured":"Carbonell, J.G., Michalski, R.S., Mitchell, T.M.: An overview of machine learning. Mach. Learn. 1, 3\u201323 (1983)","journal-title":"Mach. Learn."},{"key":"4_CR26","first-page":"525","volume":"263","author":"D Lin","year":"2014","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J., Muggleton, S.: Bias reformulation for one-shot function induction. Front. Artif. Intell. App. 263, 525\u2013530 (2014)","journal-title":"Front. Artif. Intell. App."},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1007\/s10994-018-5710-8","volume":"107","author":"S Muggleton","year":"2018","unstructured":"Muggleton, S., Dai, W.-Z., Sammut, C., Tamaddoni-Nezhad, A., Wen, J., Zhou, Z.-H.: Meta-interpretive learning from noisy images. Mach. Learn. 107, 1097\u20131118 (2018)","journal-title":"Mach. Learn."},{"issue":"6","key":"4_CR28","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1017\/S1471068422000102","volume":"22","author":"P K\u00f6rner","year":"2022","unstructured":"K\u00f6rner, P., et al.: Fifty years of Prolog and beyond. Theory Pract. Logic Program. 22(6), 776\u2013858 (2022)","journal-title":"Theory Pract. Logic Program."},{"key":"4_CR29","first-page":"6446","volume":"36","author":"A Cropper","year":"2022","unstructured":"Cropper, A.: Learning logic programs through divide, constrain, and conquer. Proc. AAAI Conf. Artif. Intell. 36, 6446\u20136453 (2022)","journal-title":"Proc. AAAI Conf. Artif. Intell."},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00117105","volume":"5","author":"JR Quinlan","year":"1990","unstructured":"Quinlan, J.R.: Learning logical definitions from relations. Mach. Learn. 5, 239\u2013266 (1990)","journal-title":"Mach. Learn."},{"key":"4_CR31","unstructured":"Naveed, H., et al.: A comprehensive overview of large language models. arXiv preprint arXiv:2307.06435 (2023)"},{"key":"4_CR32","unstructured":"Guo, Z., et al.: Evaluating large language models: a comprehensive survey. arXiv preprint arXiv:2310.19736 (2023)"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"53040","DOI":"10.1109\/ACCESS.2019.2912200","volume":"7","author":"A Shrestha","year":"2019","unstructured":"Shrestha, A., Mahmood, A.: Review of deep learning algorithms and architectures. IEEE Access 7, 53040\u201353065 (2019)","journal-title":"IEEE Access"},{"key":"4_CR34","unstructured":"Wu, Z., et al.: Reasoning or reciting? exploring the capabilities, limitations, and societal implications of large language models. arXiv preprint arXiv:2304.01373 (2023)"},{"key":"4_CR35","unstructured":"Rae, J.W., et al.: Scaling language models: Methods, analysis and insights from training Gopher. arXiv preprint: arXiv:2112.11446 (2021)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"McCoy, R.T., Yao, S., Friedman, D., Hardy, M., Griffiths, T.L.: Embers of autoregression: understanding large language models through the problem they are trained to solve. arXiv preprint: arXiv:2309.13638 (2023)","DOI":"10.1073\/pnas.2322420121"}],"container-title":["Communications in Computer and Information Science","Hybrid Models for Coupling Deductive and Inductive Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-89366-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T10:43:47Z","timestamp":1746528227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-89366-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031893650","9783031893667"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-89366-7_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"7 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HYDRA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Santiago de Compostela","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"20 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hydra2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}