Veri-Code
ReForm-SFT-0.5B
Tags
- safetensors
- qwen2
- code-generation
- formal-verification
- reinforcement-learning
- dafny
- conversational
- arxiv:2507.16331
- license:mit
- text-generation-inference
- endpoints_compatible
- region:us
- Author
- Veri-Code
- Task
- text-generation
- Library
- transformers
- Architecture
- qwen2
- License
- mit
- Downloads
- 20
- Likes
- 0