Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-SFT
like
6
Follow
DeepSeek
1,206
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
Community
5
Train
is this model good for autoformalization?
#5
by
brando
- opened
Sep 22
Discussion
brando
Sep 22
is this model good for autoformalization?
See translation
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Comment
·
Sign up
or
log in
to comment
