Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-plus
like
2
Follow
ScalableMath
10
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
Community
Train
Use this model
main
Lean-STaR-plus
/
special_tokens_map.json
Noogal
first commit
082c2e0
4 months ago
raw
Copy download link
history
blame
contribute
delete
Safe
95 Bytes
{
"bos_token"
:
"<s>"
,
"eos_token"
:
"</s>"
,
"pad_token"
:
"</s>"
,
"unk_token"
:
"<unk>"
}