Veri-Code
ReForm-SFT-14B
Tags
- safetensors
- qwen2
- code-generation
- reinforcement-learning
- formal-methods
- 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
- 28
- Likes
- 1