TinyGSM: achieving >80% on GSM8k with small language models