CONF Meadows_NAACL_2024/IDIAP A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers Meadows, Jordan Valentino, Marco Teney, Damien Freitas, Andre Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL) 2024 https://arxiv.org/abs/2305.12563 URL