{
  "name_or_path": "temporal_logic_tokenizer",
  "special_tokens_map_file": "special_tokens_map.json",
  "do_lower_case": false,
  "model_max_length": 500,
  "bos_token": "/s",
  "eos_token": "s",
  "unk_token": "unk",
  "pad_token": "pad",
  "added_tokens": []
}