Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-SFT
like
13
Follow
DeepSeek
85.6k
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
5
is this model good for autoformalization?
#5
by
brando
- opened
Sep 22, 2024
Discussion
brando
Sep 22, 2024
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
