{"id":"https://openalex.org/W4412886888","doi":"https://doi.org/10.18653/v1/2025.acl-long","title":"Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","display_name":"Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412886888","doi":"https://doi.org/10.18653/v1/2025.acl-long"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2025.acl-long","is_oa":false,"landing_page_url":"https://doi.org/10.18653/v1/2025.acl-long","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.manchester.ac.uk/en/publications/9ce2504a-8e8b-4051-ad6a-eb0b537dbd56","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Pratt-Hartmann, Ian; id_orcid 0000-0003-0062-043X","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pratt-Hartmann, Ian; id_orcid 0000-0003-0062-043X","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Madusanka, Tharindu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Madusanka, Tharindu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Batista-Navarro, Riza Theresa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Batista-Navarro, Riza Theresa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Valentino, Marco","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Valentino, Marco","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Zahid, Iqra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zahid, Iqra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.19900000095367432,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.19900000095367432,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.18070000410079956,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/volume","display_name":"Volume (thermodynamics)","score":0.6124199032783508},{"id":"https://openalex.org/keywords/association","display_name":"Association (psychology)","score":0.5516378879547119},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"Computational linguistics","score":0.5215518474578857},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5018641948699951},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3901347517967224},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.36454492807388306},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.2993771731853485},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1612965166568756},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13100221753120422},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07954472303390503}],"concepts":[{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.6124199032783508},{"id":"https://openalex.org/C142853389","wikidata":"https://www.wikidata.org/wiki/Q744778","display_name":"Association (psychology)","level":2,"score":0.5516378879547119},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.5215518474578857},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5018641948699951},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3901347517967224},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.36454492807388306},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2993771731853485},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1612965166568756},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13100221753120422},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07954472303390503},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.18653/v1/2025.acl-long","is_oa":false,"landing_page_url":"https://doi.org/10.18653/v1/2025.acl-long","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},{"id":"pmh:oai:pure.atira.dk:openaire/9ce2504a-8e8b-4051-ad6a-eb0b537dbd56","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/9ce2504a-8e8b-4051-ad6a-eb0b537dbd56","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Pratt-Hartmann, I, Madusanka, T, Batista-Navarro, R T, Valentino, M & Zahid, I 2025, Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems. in W Che, E Shutova, M Taher Pilehvar & J Nabende (eds), Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics : Volume 1: Long Papers. Association for Computational Linguistics, pp. 25155-25168. https://doi.org/10.18653/v1/2025.acl-long","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/9ce2504a-8e8b-4051-ad6a-eb0b537dbd56","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/9ce2504a-8e8b-4051-ad6a-eb0b537dbd56","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Pratt-Hartmann, I, Madusanka, T, Batista-Navarro, R T, Valentino, M & Zahid, I 2025, Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems. in W Che, E Shutova, M Taher Pilehvar & J Nabende (eds), Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics : Volume 1: Long Papers. Association for Computational Linguistics, pp. 25155-25168. https://doi.org/10.18653/v1/2025.acl-long","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.7599999904632568,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2798121181","https://openalex.org/W2352440174","https://openalex.org/W4309440960","https://openalex.org/W2016805743","https://openalex.org/W4242592912","https://openalex.org/W435830328","https://openalex.org/W2062168445","https://openalex.org/W2087896742","https://openalex.org/W2348940229","https://openalex.org/W2363046693"],"abstract_inverted_index":{"Transformer":[0,52,85],"models":[1,53,86],"have":[2],"achieved":[3],"remarkable":[4],"performance":[5,92],"in":[6,91],"many":[7],"formal":[8],"reasoning":[9],"tasks.":[10],"Nonetheless,":[11],"the":[12,48,57,101],"extent":[13],"of":[14,23,35,51,61],"their":[15],"comprehension":[16],"pertaining":[17],"to":[18,40,56],"logical":[19],"semantics":[20],"and":[21,73,79],"rules":[22],"inference":[24],"remains":[25],"somewhat":[26],"uncertain.":[27],"Evaluating":[28],"such":[29],"understanding":[30],"necessitates":[31],"a":[32,88,105],"rigorous":[33],"examination":[34],"these":[36],"models\u2019":[37],"generalisation":[38,49],"capacity":[39],"out-of-distribution":[41,94],"data.":[42],"In":[43],"this":[44],"study,":[45],"we":[46],"probe":[47],"prowess":[50],"with":[54],"respect":[55],"hitherto":[58],"unexplored":[59],"domain":[60],"numerical":[62],"satisfiability":[63],"problems.":[64],"Our":[65],"investigation":[66],"reveals":[67],"that":[68],"Transformers":[69],"exhibit":[70],"minimal":[71],"scale":[72],"noise":[74],"invariance,":[75],"alongside":[76],"limited":[77],"vocabulary":[78],"number":[80],"invariance.":[81],"However,":[82],"even":[83],"when":[84],"experience":[87],"notable":[89],"decline":[90],"on":[93],"test":[95],"sets,":[96],"they":[97],"often":[98],"still":[99],"surpass":[100],"random":[102],"baseline":[103],"by":[104],"considerable":[106],"margin.":[107]},"counts_by_year":[{"year":2025,"cited_by_count":8}],"updated_date":"2026-06-17T08:01:34.144755","created_date":"2025-08-04T00:00:00"}