Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-SFT
like
6
Follow
DeepSeek
5.81k
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, 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
