Veri-Code

/

ReForm-SFT-1.5B

like 0

Follow

Veri-Code 11

This PR significantly enhances the model card for Qwen2.5-Coder-1.5B by adding:

• Detailed information about the paper Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny.
• Links to the official project page and GitHub repository.
• The library_name: transformers and pipeline_tag: text-generation metadata tags, enabling better discoverability and user experience (e.g., "Use in Transformers" button).
• Additional descriptive tags: code-generation, reinforcement-learning, formal-verification, and qwen2 for improved searchability.
• A Python code snippet for quick inference, demonstrating how to use the model with the transformers library.
• The official BibTeX citation.

This enhancement will greatly benefit users looking to understand and utilize the model.