Veri-Code
/

ReForm-SFT-3B

Text Generation

code-generation

reinforcement-learning

formal-verification

text-generation-inference

Model card Files Files and versions

ReForm-SFT-3B / merges.txt

SiniShell1's picture

Upload folder using huggingface_hub

2ff3b9e verified about 1 month ago

history contribute delete

1.67 MB

File too large to display, you can check the raw version instead.