%Aigaion2 BibTeX export from Idiap Publications %Friday 16 August 2024 09:30:38 AM @INPROCEEDINGS{Meadows_ARXIV_2023, author = {Meadows, Jordan and Valentino, Marco and Teney, Damien and Freitas, Andre}, projects = {Idiap}, title = {A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers}, booktitle = {Under review}, year = {2023}, url = {https://arxiv.org/abs/2305.12563} }