visproj/proofkit-qwen0.5b
Text Generation • 0.5B • Updated • 5
Edit Models filters
Showing models from
Tasks
Parameters
Inference Providers
Hardware
Models
11
Active filters: visproj
visproj/proofkit-gpt-oss-20b-lora
Text Generation • Updated • 8
visproj/proofkit-gpt-oss-20b-lora-experts
Updated
visproj/proofkit-train-scripts
Updated
visproj/proofkit-qwen2.5-3b-lora
Updated
visproj/proofkit-qwen0.5b-7k-lora
Text Generation • Updated • 52
visproj/proofkit-distilled-qwen0.5b-lora
Updated
visproj/proofkit-qwen0.5b-7k
Text Generation • 0.5B • Updated • 25
visproj/proofkit-distilled-qwen0.5b
Text Generation • 0.5B • Updated • 37
visproj/proofkit-distilled-qwen0.5b-gguf
Text Generation • 0.5B • Updated • 31
visproj/lantern-1.7b
Text Generation • 2B • Updated • 313