Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
/
ReForm-SFT-0.5B
like
0
Follow
Veri-Code
13
Text Generation
Transformers
Safetensors
qwen2
code-generation
formal-verification
reinforcement-learning
dafny
conversational
text-generation-inference
arxiv:
2507.16331
License:
mit
Model card
Files
Files and versions
xet
Community
1
Train
Deploy
Use this model
main
ReForm-SFT-0.5B
/
generation_config.json
SiniShell1
Upload folder using huggingface_hub
86d43ed
verified
about 2 months ago
raw
Copy download link
history
blame
contribute
delete
Safe
117 Bytes
{
"bos_token_id"
:
151643
,
"eos_token_id"
:
151645
,
"max_new_tokens"
:
2048
,
"transformers_version"
:
"4.46.3"
}