Probing for Arithmetic Errors in Language Models | Synapse