Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
1.5B open-weight LLM by ThuraAung1601
Live
Open / InstallLast updated October 23, 2026
Description
Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO is an open-weight text-generation model with roughly 1.5B parameters published by ThuraAung1601 on the Hugging Face Hub. It has 355 downloads. Runs with transformers.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
ThuraAung1601
Platform
api
Pricing model
free
Categories
- Coding
- Productivity
Tags
- qwen2
- text-generation
- dafny
- formal-verification
- loop-invariants
- lora
- grpo
- conversational
Capabilities
- Text generation
- Conversational
- Library: transformers
- 1.5B parameters
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedOctober 12, 2026