{"id":"https://openalex.org/W7137858089","doi":"https://doi.org/10.18653/v1/2025.ijcnlp-long.148","title":"On Memorization of Large Language Models in Logical Reasoning","display_name":"On Memorization of Large Language Models in Logical Reasoning","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7137858089","doi":"https://doi.org/10.18653/v1/2025.ijcnlp-long.148"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2025.ijcnlp-long.148","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.ijcnlp-long.148","pdf_url":"https://aclanthology.org/2025.ijcnlp-long.148.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2025.ijcnlp-long.148.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007625243","display_name":"Chulin Xie","orcid":"https://orcid.org/0000-0002-5460-3785"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chulin Xie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129706952","display_name":"Yangsibo Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yangsibo Huang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016054994","display_name":"Chiyuan Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chiyuan Zhang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129698904","display_name":"Da Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Da Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129670065","display_name":"Xinyun Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xinyun Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129716743","display_name":"Bill Yuchen Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bill Yuchen Lin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129684283","display_name":"Bo Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bo Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102807325","display_name":"Badih Ghazi","orcid":"https://orcid.org/0009-0004-1555-5321"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Badih Ghazi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101772780","display_name":"Ravi Kumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ravi Kumar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2742","last_page":"2785"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12031","display_name":"Speech and dialogue systems","score":0.1273999959230423,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12031","display_name":"Speech and dialogue systems","score":0.1273999959230423,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1177000030875206,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.09839999675750732,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/memorization","display_name":"Memorization","score":0.4984000027179718},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.39890000224113464},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3828999996185303},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.3569999933242798},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.3522000014781952},{"id":"https://openalex.org/keywords/vocabulary","display_name":"Vocabulary","score":0.3393000066280365},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.31769999861717224},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.3111000061035156}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6200000047683716},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5189999938011169},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.49900001287460327},{"id":"https://openalex.org/C30038468","wikidata":"https://www.wikidata.org/wiki/Q4354775","display_name":"Memorization","level":2,"score":0.4984000027179718},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.4174000024795532},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.39890000224113464},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3828999996185303},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.3569999933242798},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3474000096321106},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.3111000061035156},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.30379998683929443},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.2890999913215637},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2671000063419342},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.26420000195503235},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C129792486","wikidata":"https://www.wikidata.org/wiki/Q1050419","display_name":"Language identification","level":3,"score":0.2526000142097473},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.ijcnlp-long.148","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.ijcnlp-long.148","pdf_url":"https://aclanthology.org/2025.ijcnlp-long.148.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.ijcnlp-long.148","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.ijcnlp-long.148","pdf_url":"https://aclanthology.org/2025.ijcnlp-long.148.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7137858089.pdf","grobid_xml":"https://content.openalex.org/works/W7137858089.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Chulin":[0],"Xie,":[1],"Yangsibo":[2],"Huang,":[3],"Chiyuan":[4],"Zhang,":[5],"Da":[6],"Yu,":[7],"Xinyun":[8],"Chen,":[9],"Bill":[10],"Yuchen":[11],"Lin,":[12],"Bo":[13],"Li,":[14],"Badih":[15],"Ghazi,":[16],"Ravi":[17],"Kumar.":[18],"Proceedings":[19],"of":[20,34,38],"the":[21,31,35,39],"14th":[22],"International":[23],"Joint":[24],"Conference":[25,33],"on":[26],"Natural":[27],"Language":[28],"Processing":[29],"and":[30],"4th":[32],"Asia-Pacific":[36],"Chapter":[37],"Association":[40],"for":[41],"Computational":[42],"Linguistics.":[43],"2025.":[44]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2026-03-18T00:00:00"}