Veri-Code
/

ReForm-SFT-1.5B

Text Generation

code-generation

reinforcement-learning

formal-verification

text-generation-inference

Model card Files Files and versions

ReForm-SFT-1.5B / README.md

Commit History

Add comprehensive model card including paper, code, and usage with relevant tags

4919976
verified

nielsr HF Staff commited on Jul 25, 2025

initial commit

68ab39e
verified

SiniShell1 commited on Jul 20, 2025