{"_id":"AZCQxqvRQWd2F8DAs","bibbaseid":"meadows-valentino-teney-freitas-asymbolicframeworkforevaluatingmathematicalreasoningandgeneralisationwithtransformers-2024","author_short":["Meadows, J.","Valentino, M.","Teney, D.","Freitas, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-08-29T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Meadows"],"firstnames":["Jordan"],"suffixes":[]},{"propositions":[],"lastnames":["Valentino"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Teney"],"firstnames":["Damien"],"suffixes":[]},{"propositions":[],"lastnames":["Freitas"],"firstnames":["André"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fa1a43d558f22247074f04783ad49d53/dblp","booktitle":"NAACL-HLT","crossref":"conf/naacl/2024","editor":[{"propositions":[],"lastnames":["Duh"],"firstnames":["Kevin"],"suffixes":[]},{"propositions":[],"lastnames":["Gómez-Adorno"],"firstnames":["Helena"],"suffixes":[]},{"propositions":[],"lastnames":["Bethard"],"firstnames":["Steven"],"suffixes":[]}],"ee":"https://doi.org/10.18653/v1/2024.naacl-long.84","interhash":"eaf4bdb3b1e124fe1fadbeb0e45a5d44","intrahash":"fa1a43d558f22247074f04783ad49d53","isbn":"979-8-89176-114-8","keywords":"dblp","pages":"1505-1523","publisher":"Association for Computational Linguistics","timestamp":"2024-09-02T07:07:29.000+0200","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers.","url":"http://dblp.uni-trier.de/db/conf/naacl/naacl2024.html#MeadowsVTF24","year":"2024","bibtex":"@inproceedings{conf/naacl/MeadowsVTF24,\n added-at = {2024-08-29T00:00:00.000+0200},\n author = {Meadows, Jordan and Valentino, Marco and Teney, Damien and Freitas, André},\n biburl = {https://www.bibsonomy.org/bibtex/2fa1a43d558f22247074f04783ad49d53/dblp},\n booktitle = {NAACL-HLT},\n crossref = {conf/naacl/2024},\n editor = {Duh, Kevin and Gómez-Adorno, Helena and Bethard, Steven},\n ee = {https://doi.org/10.18653/v1/2024.naacl-long.84},\n interhash = {eaf4bdb3b1e124fe1fadbeb0e45a5d44},\n intrahash = {fa1a43d558f22247074f04783ad49d53},\n isbn = {979-8-89176-114-8},\n keywords = {dblp},\n pages = {1505-1523},\n publisher = {Association for Computational Linguistics},\n timestamp = {2024-09-02T07:07:29.000+0200},\n title = {A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers.},\n url = {http://dblp.uni-trier.de/db/conf/naacl/naacl2024.html#MeadowsVTF24},\n year = 2024\n}\n\n","author_short":["Meadows, J.","Valentino, M.","Teney, D.","Freitas, A."],"editor_short":["Duh, K.","Gómez-Adorno, H.","Bethard, S."],"key":"conf/naacl/MeadowsVTF24","id":"conf/naacl/MeadowsVTF24","bibbaseid":"meadows-valentino-teney-freitas-asymbolicframeworkforevaluatingmathematicalreasoningandgeneralisationwithtransformers-2024","role":"author","urls":{"Link":"https://doi.org/10.18653/v1/2024.naacl-long.84","Paper":"http://dblp.uni-trier.de/db/conf/naacl/naacl2024.html#MeadowsVTF24"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["symbolic","framework","evaluating","mathematical","reasoning","generalisation","transformers","meadows","valentino","teney","freitas"],"title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers.","year":2024}