Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
/
ReForm-SFT-3B
like
1
Follow
Veri-Code
13
Text Generation
Transformers
Safetensors
qwen2
code-generation
reinforcement-learning
formal-verification
dafny
conversational
text-generation-inference
arxiv:
2507.16331
License:
mit
Model card
Files
Files and versions
xet
Community
1
Train
Deploy
Use this model
2ff3b9e
ReForm-SFT-3B
/
README.md
SiniShell1
initial commit
949cd64
verified
about 2 months ago
preview
code
|
raw
Copy download link
history
blame
Safe
24 Bytes
metadata
license:
mit