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

SiniShell1's picture

initial commit

68ab39e verified 6 months ago

|

24 Bytes

metadata

license: mit