Veri-Code

/

ReForm-SFT-14B

like 1

Follow

Veri-Code 13

This PR significantly enhances the model card by:

• Adding pipeline_tag: text-generation and library_name: transformers to the metadata, which helps with discoverability and enables the "how to use" widget on the Hugging Face Hub.
• Including relevant tags such as code-generation, reinforcement-learning, formal-methods, and dafny.
• Providing a clear and concise description of the model based on the paper's abstract and key highlights from the project's GitHub README.
• Adding direct links to the paper, the project page, and the GitHub repository.
• Incorporating an illustrative image of the overall pipeline.
• Detailing available model checkpoints and datasets.
• Presenting a practical Python code snippet demonstrating how to use the model with the transformers library for Dafny code generation.
• Including the academic citation for the work.

These improvements will make the model more discoverable, understandable, and easier to use for the community.