Veri-Code
/

ReForm-SFT-3B

Text Generation

code-generation

reinforcement-learning

formal-verification

text-generation-inference

Model card Files Files and versions

1.54 kB

2 contributors

History: 1 commit

SiniShell1's picture

initial commit

949cd64 verified 4 months ago