Veri-Code
/

ReForm-SFT-3B

Text Generation

code-generation

reinforcement-learning

formal-verification

text-generation-inference

Model card Files Files and versions

Commit History

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

91a3cf2
verified

nielsr HF Staff commited on Jul 25

Upload folder using huggingface_hub

2ff3b9e
verified

SiniShell1 commited on Jul 20

initial commit

949cd64
verified

SiniShell1 commited on Jul 20