Veri-Code

/

ReForm-14B-RL-entropy

like 2

Follow

Veri-Code 11

This PR adds a comprehensive model card for the Re:Form model, including:

• A link to the paper: Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
• A link to the project page: https://veri-code.github.io/ReForm-page
• A link to the GitHub repository: https://github.com/Veri-Code/ReForm
• Relevant metadata (pipeline_tag, library_name, license, and tags).
• An overview of the model and its key features.
• A basic usage example with the transformers library.
• The correct citation information.

This will significantly improve the discoverability and provide essential information for users on the Hugging Face Hub.