Veri-Code
/

ReForm-SFT-0.5B

Text Generation

code-generation

formal-verification

reinforcement-learning

text-generation-inference

Model card Files Files and versions

ReForm-SFT-0.5B / README.md

SiniShell1's picture

initial commit

e07b2b2 verified 10 months ago

|

24 Bytes

license: mit