Loading GSM8K benchmark...