{"id":"https://openalex.org/W4401042830","doi":"https://doi.org/10.18653/v1/2024.naacl-long.84","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","display_name":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4401042830","doi":"https://doi.org/10.18653/v1/2024.naacl-long.84"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2024.naacl-long.84","doi":"https://doi.org/10.18653/v1/2024.naacl-long.84","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2024.naacl-long.84","pdf_url":"https://aclanthology.org/2024.naacl-long.84.pdf","source":{"id":"https://openalex.org/S4363608774","display_name":"Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://aclanthology.org/2024.naacl-long.84.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091753287","display_name":"Jordan Meadows","orcid":"https://orcid.org/0000-0001-9472-0962","observed_orcids":["https://orcid.org/0000-0001-9472-0962"]},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jordan Meadows","raw_affiliation_strings":["University of Manchester , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Manchester , United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032107191","display_name":"Marco Valentino","orcid":"https://orcid.org/0000-0002-9959-8385","observed_orcids":["https://orcid.org/0000-0002-9959-8385"]},"institutions":[{"id":"https://openalex.org/I7495430","display_name":"Idiap Research Institute","ror":"https://ror.org/05932h694","country_code":"CH","type":"facility","lineage":["https://openalex.org/I7495430"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Marco Valentino","raw_affiliation_strings":["Idiap Research Institute , Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Idiap Research Institute , Switzerland","institution_ids":["https://openalex.org/I7495430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067549788","display_name":"Damien Teney","orcid":"https://orcid.org/0000-0003-2130-6650","observed_orcids":["https://orcid.org/0000-0003-2130-6650"]},"institutions":[{"id":"https://openalex.org/I7495430","display_name":"Idiap Research Institute","ror":"https://ror.org/05932h694","country_code":"CH","type":"facility","lineage":["https://openalex.org/I7495430"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Damien Teney","raw_affiliation_strings":["Idiap Research Institute , Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Idiap Research Institute , Switzerland","institution_ids":["https://openalex.org/I7495430"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053978668","display_name":"Andr\u00e9 Freitas","orcid":"https://orcid.org/0000-0002-4430-4837","observed_orcids":["https://orcid.org/0000-0002-4430-4837","https://orcid.org/0000-0001-9907-3645"]},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I7495430","display_name":"Idiap Research Institute","ror":"https://ror.org/05932h694","country_code":"CH","type":"facility","lineage":["https://openalex.org/I7495430"]}],"countries":["CH","GB"],"is_corresponding":false,"raw_author_name":"Andre Freitas","raw_affiliation_strings":["Idiap Research Institute , Switzerland","University of Manchester , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Idiap Research Institute , Switzerland","institution_ids":["https://openalex.org/I7495430"]},{"raw_affiliation_string":"University of Manchester , United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2887,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45512812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1505","last_page":"1523"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.38350000977516174,"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/T10028","display_name":"Topic Modeling","score":0.38350000977516174,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.2295999974012375,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.09640000015497208,"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/mathematical-reasoning","display_name":"mathematical reasoning","score":0.921999990940094},{"id":"https://openalex.org/keywords/generalization","display_name":"generalization","score":0.7910000085830688},{"id":"https://openalex.org/keywords/symbolic-reasoning","display_name":"symbolic reasoning","score":0.5669999718666077},{"id":"https://openalex.org/keywords/transformer","display_name":"transformer models","score":0.6269999742507935},{"id":"https://openalex.org/keywords/symbolic-framework","display_name":"symbolic framework","score":0.421999990940094},{"id":"https://openalex.org/keywords/mathematical-problem-solving","display_name":"mathematical problem solving","score":0.5260000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6876205205917358},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.5975012183189392},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3748564124107361},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36195284128189087},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3578299880027771},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.34478336572647095},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10827341675758362},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.09595224261283875},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.08644616603851318},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2024.naacl-long.84","doi":"https://doi.org/10.18653/v1/2024.naacl-long.84","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2024.naacl-long.84","pdf_url":"https://aclanthology.org/2024.naacl-long.84.pdf","source":{"id":"https://openalex.org/S4363608774","display_name":"Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2024.naacl-long.84","doi":"https://doi.org/10.18653/v1/2024.naacl-long.84","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2024.naacl-long.84","pdf_url":"https://aclanthology.org/2024.naacl-long.84.pdf","source":{"id":"https://openalex.org/S4363608774","display_name":"Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G612483451","display_name":"Neural Discourse Inference over Mathematical Texts","funder_award_id":"204617","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G6661291015","display_name":"EnnCore: End-to-End Conceptual Guarding of Neural Architectures","funder_award_id":"EP/T026995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320319985","display_name":"Cancer Research UK","ror":"https://ror.org/054225q67"},{"id":"https://openalex.org/F4320319990","display_name":"National Institute for Health and Care Research","ror":"https://ror.org/0187kwz08"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320333687","display_name":"Manchester Biomedical Research Centre","ror":"https://ror.org/05njkjr15"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401042830.pdf","grobid_xml":"https://content.openalex.org/works/W4401042830.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4411638692","https://openalex.org/W4401042545","https://openalex.org/W4385572906","https://openalex.org/W3208021478","https://openalex.org/W4416034742","https://openalex.org/W4416034534","https://openalex.org/W7128138367","https://openalex.org/W7136091443","https://openalex.org/W4412889980","https://openalex.org/W4416034867"],"abstract_inverted_index":{"Jordan":[0],"Meadows,":[1],"Marco":[2],"Valentino,":[3],"Damien":[4],"Teney,":[5],"Andre":[6],"Freitas.":[7],"Proceedings":[8],"of":[9,13,18],"the":[10,14,19],"2024":[11],"Conference":[12],"North":[15],"American":[16],"Chapter":[17],"Association":[20],"for":[21],"Computational":[22],"Linguistics:":[23],"Human":[24],"Language":[25],"Technologies":[26],"(Volume":[27],"1:":[28],"Long":[29],"Papers).":[30],"2024.":[31]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2024-07-31T00:00:00"}