build-small-hackathon author hub
license: apache 2.0 base model: visproj/proofkit distilled qwen0.5b library name: llama.cpp pipeline tag: text generation language: en tags: proofkit gguf llama.cpp distilled build small hackathon work sample ProofKit Qwen 0.5B — distilled GGUF The llama.cpp / GGUF build of visp…
Models
4
Downloads
0
Run models locally with guIDE
Download guIDE — the AI-native code editor with local LLM inference and 69 built-in tools.