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 / vocab.json

SiniShell1's picture

Upload folder using huggingface_hub

86d43ed verified 6 months ago

history contribute delete

2.78 MB

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