Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
/
ReForm-14B-RL-entropy
like
2
Follow
Veri-Code
12
Text Generation
Transformers
Safetensors
qwen2
code-generation
formal-verification
dafny
reinforcement-learning
conversational
text-generation-inference
arxiv:
2507.16331
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
Train
Deploy
Use this model
9be9f2d
ReForm-14B-RL-entropy
Ctrl+K
Ctrl+K
2 contributors
History:
1 commit
SiniShell1
initial commit
9be9f2d
verified
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
