Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
ReForm-SFT-0.5B-GGUF
like
0
Reinforcement Learning
Transformers
GGUF
English
code-generation
formal-verification
dafny
conversational
License:
mit
Model card
Files
Files and versions
xet
Community
Train
Deploy
Use this model
main
ReForm-SFT-0.5B-GGUF
/
ReForm-SFT-0.5B.Q4_K_M.gguf
Commit History
uploaded from kaos
ede768e
verified
mradermacher
commited on
Jul 26
