Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
免费去水印
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
main
ReForm-SFT-14B
29.6 GB
2 contributors
History:
3 commits
SiniShell1
nielsr
HF Staff
Add comprehensive model card (
#1
)
6671dc3
verified
5 months ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
5 months ago
README.md
6.04 kB
Add comprehensive model card (#1)
5 months ago
added_tokens.json
605 Bytes
Upload folder using huggingface_hub
5 months ago
all_results.json
218 Bytes
Upload folder using huggingface_hub
5 months ago
config.json
756 Bytes
Upload folder using huggingface_hub
5 months ago
generation_config.json
117 Bytes
Upload folder using huggingface_hub
5 months ago
merges.txt
1.67 MB
Upload folder using huggingface_hub
5 months ago
model-00001-of-00006.safetensors
4.99 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00002-of-00006.safetensors
4.95 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00003-of-00006.safetensors
4.95 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00004-of-00006.safetensors
4.95 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00005-of-00006.safetensors
4.95 GB
xet
Upload folder using huggingface_hub
5 months ago
model-00006-of-00006.safetensors
4.73 GB
xet
Upload folder using huggingface_hub
5 months ago
model.safetensors.index.json
47.5 kB
Upload folder using huggingface_hub
5 months ago
special_tokens_map.json
616 Bytes
Upload folder using huggingface_hub
5 months ago
tokenizer.json
11.4 MB
xet
Upload folder using huggingface_hub
5 months ago
tokenizer_config.json
7.28 kB
Upload folder using huggingface_hub
5 months ago
train_results.json
218 Bytes
Upload folder using huggingface_hub
5 months ago
trainer_log.jsonl
120 kB
Upload folder using huggingface_hub
5 months ago
trainer_state.json
108 kB
Upload folder using huggingface_hub
5 months ago
training_args.bin
7.54 kB
xet
Upload folder using huggingface_hub
5 months ago
training_loss.png
48.5 kB
Upload folder using huggingface_hub
5 months ago
vocab.json
2.78 MB
Upload folder using huggingface_hub
5 months ago
×
🎉 Free Image Generator Now Available!
Totally Free + Zero Barriers + No Login Required
Visit Now