Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
/
ReForm-SFT-0.5B
like
0
Follow
Veri-Code
11
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
Ctrl+K
Ctrl+K
2 contributors
History:
3 commits
SiniShell1
nielsr
HF Staff
Improve model card for Re:Form: add metadata, links, and usage example (
#1
)
3c74f52
verified
8 days ago
.gitattributes
Safe
1.57 kB
Upload folder using huggingface_hub
13 days ago
README.md
Safe
3.39 kB
Improve model card for Re:Form: add metadata, links, and usage example (#1)
8 days ago
added_tokens.json
Safe
605 Bytes
Upload folder using huggingface_hub
13 days ago
config.json
Safe
780 Bytes
Upload folder using huggingface_hub
13 days ago
generation_config.json
Safe
117 Bytes
Upload folder using huggingface_hub
13 days ago
merges.txt
Safe
1.67 MB
Upload folder using huggingface_hub
13 days ago
model.safetensors
Safe
988 MB
xet
Upload folder using huggingface_hub
13 days ago
special_tokens_map.json
Safe
616 Bytes
Upload folder using huggingface_hub
13 days ago
tokenizer.json
Safe
11.4 MB
xet
Upload folder using huggingface_hub
13 days ago
tokenizer_config.json
Safe
7.28 kB
Upload folder using huggingface_hub
13 days ago
training_args.bin
pickle
Detected Pickle imports (13)
"torch.device"
,
"transformers.integrations.deepspeed.HfTrainerDeepSpeedConfig"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"torch.bfloat16"
,
"transformers.integrations.deepspeed.HfDeepSpeedConfig"
,
"transformers.trainer_utils.SchedulerType"
,
"accelerate.utils.dataclasses.DeepSpeedPlugin"
,
"transformers.training_args.OptimizerNames"
,
"accelerate.state.PartialState"
,
"transformers.trainer_utils.IntervalStrategy"
,
"transformers.trainer_utils.HubStrategy"
,
"accelerate.utils.dataclasses.DistributedType"
,
"trl.trainer.gkd_config.GKDConfig"
How to fix it?
7.99 kB
xet
Upload folder using huggingface_hub
13 days ago
vocab.json
Safe
2.78 MB
Upload folder using huggingface_hub
13 days ago