The HuggingFace website https://huggingface.co/PhilipQuirke/VerifiedArithmetic holds the output generated for experiments on ~14 models. A model name like add_d5_l2 ...