Downloads · 30 days
6
43% of all-time downloads
0.5B_RL
ReFormDafny/0.5B_RL
0.5B_RL is a machine learning model from ReFormDafny. Use it for the machine learning task on the model card, and read the license before you ship it in a product.
All-time downloads
14
Public
Parameters
494M
2 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors2 GB · 99%
At a glance
- Model type
- qwen2
- Access
- Public
- Created
- Aug 24, 2025
- Updated
- Aug 24, 2025
- SHA
- ba89f74c
- Type
- qwen2
- Created
- Aug 24, 2025
- Updated
- Aug 24, 2025