Edit Models filters

Model Tree

Apps

Docker Model Runner

Unsloth Desktop

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

loop-invariants

Mixture of Experts

4-bit precision

8-bit precision

Carbon Emissions

Models

34

Base only

Active filters: loop-invariants

idopinto/Wonda-Llama3.1-8B-Instruct-V2-gt2-e3

Text Generation • 8B • Updated Jun 21 • 16

idopinto/Wonda-Qwen3-14B-nt-V2-gt2-e3

Text Generation • 15B • Updated Jun 21 • 22

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT

Updated Oct 1 • 6

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO

Text Generation • 0.5B • Updated Oct 1

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT

Updated about 1 month ago • 13

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO

Text Generation • 2B • Updated about 1 month ago • 207

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT-full

Text Generation • 0.5B • Updated about 1 month ago • 35

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO-full

Text Generation • 0.5B • Updated about 1 month ago • 32

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug_SFT

Updated 28 days ago • 26

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug_GRPO

Text Generation • 0.5B • Updated 28 days ago • 274

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen-aug_SFT

Updated 28 days ago • 19

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen-aug_GRPO

Text Generation • 2B • Updated 28 days ago • 290

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFT

Updated 22 days ago • 13

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO

Text Generation • 0.5B • Updated 22 days ago • 171

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_SFT

Updated 22 days ago • 22

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_GRPO

Text Generation • 0.5B • Updated 22 days ago • 35

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-alldata_SFT

Updated 22 days ago • 22

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-alldata_GRPO

Text Generation • 0.5B • Updated 22 days ago • 40

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-alldata_SFT

Updated 22 days ago • 24

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-alldata_GRPO

Text Generation • 0.5B • Updated 22 days ago • 36

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_SFT

Updated 21 days ago • 18

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 21 days ago • 36

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_SFT

Updated 21 days ago • 21

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 21 days ago • 31

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 20 days ago • 94

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 20 days ago • 62

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_SFT

Updated 16 days ago • 4

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_GRPO

Text Generation • 0.5B • Updated 16 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_SFT

Updated 16 days ago • 7

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_GRPO

Text Generation • 0.5B • Updated 16 days ago