Veri-Code

/

ReForm-SFT-3B

like 1

Follow

Veri-Code 12

This PR adds a comprehensive model card for the Re:Form model, presented in Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny.

The model card now includes relevant metadata such as pipeline_tag: text-generation and library_name: transformers, along with other relevant tags, improving its discoverability on the Hub. It also features a detailed overview, links to the project page and GitHub repository, a visual representation of the pipeline, and a clear Python code snippet for sample usage with the transformers library.