Files
deepseek-math-7B-lean-prove…/generation_config.json
ModelHub XC 56ecaa22c9 初始化项目,由ModelHub XC社区提供模型
Model: VladShash/deepseek-math-7B-lean-prover-grpo-olmo-weighed
Source: Original Platform
2026-05-04 16:36:14 +08:00

10 lines
157 B
JSON

{
"_from_model_config": true,
"bos_token_id": 100000,
"eos_token_id": [
100001
],
"pad_token_id": 100001,
"transformers_version": "4.57.0"
}