Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
/
ReForm-SFT-14B
like
1
Follow
Veri-Code
16
Text Generation
Transformers
Safetensors
qwen2
code-generation
reinforcement-learning
formal-methods
dafny
conversational
text-generation-inference
arxiv:
2507.16331
License:
mit
Model card
Files
Files and versions
xet
Community
1
Deploy
Use this model
refs/pr/1
ReForm-SFT-14B
Commit History
Add comprehensive model card
04ddf57
verified
nielsr
HF Staff
commited on
Jul 25, 2025
Upload folder using huggingface_hub
0278193
verified
SiniShell1
commited on
Jul 20, 2025
initial commit
95b7214
verified
SiniShell1
commited on
Jul 20, 2025
nielsr
HF Staff
commited on
