Files
deepseek-math-7b-lean-prove…/special_tokens_map.json

18 lines
369 B
JSON
Raw Normal View History

{
"bos_token": {
"content": "<begin▁of▁sentence>",
"lstrip": false,
"normalized": true,
"rstrip": false,
"single_word": false
},
"eos_token": {
"content": "<end▁of▁sentence>",
"lstrip": false,
"normalized": true,
"rstrip": false,
"single_word": false
},
"pad_token": "<end▁of▁sentence>"
}