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 (#1)

0990d4d
verified

nielsr HF Staff commited on Jul 25, 2025

initial commit

68ab39e
verified

SiniShell1 commited on Jul 20, 2025