Veri-Code

/

ReForm-SFT-7B

like 1

Follow

Veri-Code 12

This PR significantly improves the model card for the Re:Form model family by:

• Adding pipeline_tag: text-generation to ensure the model is correctly categorized on the Hub.
• Adding library_name: transformers to enable the "Use in Transformers" widget and provide library compatibility information.
• Including a detailed description based on the paper's abstract.
• Linking to the official paper, project page, and GitHub repository.
• Providing a practical Python usage example for generating Dafny code using the transformers library.
• Adding the official BibTeX citation for proper attribution.

These changes will greatly enhance the discoverability, usability, and understanding of the model for researchers and practitioners.