Veri-Code
/

ReForm-SFT-3B

Text Generation

code-generation

reinforcement-learning

formal-verification

text-generation-inference

Model card Files Files and versions

6.81 GB

2 contributors

History: 3 commits

SiniShell1's picture

nielsr's picture

nielsr HF Staff

Add comprehensive model card for Re:Form (#1)

91a3cf2 verified 5 months ago