Hugging Face's logo

Veri-Code
/
ReForm-SFT-0.5B

Text Generation
Transformers
Safetensors
qwen2
code-generation
formal-verification
reinforcement-learning
dafny
conversational
text-generation-inference
Model card Files
xet
 Community
1
ReForm-SFT-0.5B
1.54 kB
  • 2 contributors
 History: 1 commit
SiniShell1's picture
SiniShell1
initial commit
e07b2b2 verified