Veri-Code

/

ReForm-SFT-0.5B

like 0

Follow

Veri-Code 11

This PR significantly enhances the model card for the Re:Form model by:

• Adding pipeline_tag: text-generation and library_name: transformers to the metadata, which improves discoverability and integration with the Hugging Face Hub features.
• Including relevant tags such as code-generation, formal-verification, reinforcement-learning, and dafny for better categorization.
• Providing a concise model description summarizing the paper's abstract.
• Including the project page link (https://veri-code.github.io/ReForm-page) and updating the GitHub repository link to point to the main project repository (https://github.com/Veri-Code/Veri-Code).
• Adding the overall pipeline image from the project's GitHub repository for visual context.
• Providing a runnable Python code snippet to demonstrate basic usage with the transformers library for Dafny code generation.
• Including the full BibTeX citation for proper academic attribution.
• Removing the unnecessary "File information" section to keep the model card clean and focused.

These updates greatly improve the model's documentation and user experience on the Hugging Face Hub.