RickyDeSkywalker
/

GAR_DeepSeek-Prover-V2

Text Generation

theorem-proving

reinforcement-learning

text-generation-inference

Model card Files Files and versions

GAR_DeepSeek-Prover-V2

27.6 GB

Ctrl+K

Ctrl+K

2 contributors

History: 4 commits

RickyDeSkywalker's picture

RickyDeSkywalker

nielsr's picture

nielsr HF Staff

Update model card with metadata, paper link and GitHub repository (#1)

af0b449 about 1 month ago

.gitattributes

1.52 kB
initial commit about 2 months ago
README.md

3.9 kB
Update model card with metadata, paper link and GitHub repository (#1) about 1 month ago
chat_template.jinja

3.05 kB
Upload folder using huggingface_hub about 2 months ago
config.json

858 Bytes
Upload folder using huggingface_hub about 2 months ago
generation_config.json

121 Bytes
Upload folder using huggingface_hub about 2 months ago
model-00001-of-00004.safetensors

7.97 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00002-of-00004.safetensors

7.91 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00003-of-00004.safetensors

7.91 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00004-of-00004.safetensors

3.84 GB
xet

Upload folder using huggingface_hub about 2 months ago
model.safetensors.index.json

22.5 kB
Upload folder using huggingface_hub about 2 months ago
special_tokens_map.json

482 Bytes
Upload folder using huggingface_hub about 2 months ago
tokenizer.json

7.51 MB
Upload folder using huggingface_hub about 2 months ago
tokenizer_config.json

4.01 kB
Upload folder using huggingface_hub about 2 months ago