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 / README.md

Commit History

Improve model card for Re:Form: add metadata, links, and usage example

bcc1677
verified

nielsr HF Staff commited on Jul 25, 2025

initial commit

e07b2b2
verified

SiniShell1 commited on Jul 20, 2025