30 shown

models

Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.

01mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFtransformersen0 likes989 downloads1y agoHugging Face 02mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFtransformersen0 likes942 downloads2y agoHugging Face 03mradermacher /distilgpt2-proofs-i1-GGUFtransformersen0 likes577 downloads1y agoHugging Face 04mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFtransformersen0 likes445 downloads2y agoHugging Face 05mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFtransformersen0 likes434 downloads1y agoHugging Face 06mradermacher /distilgpt2-proofs-GGUFtransformersen0 likes428 downloads1y agoHugging Face 07mradermacher /Deepseek-Distill-7B-ProofWriter-sft-GGUFtransformersen0 likes328 downloads5mo agoHugging Face 08mradermacher /CFM-Proof-7B-GGUFtransformersen0 likes322 downloads3mo agoHugging Face 09mradermacher /Qwen3-4B-Thinking-2507-Proof-GGUFtransformersen1 likes214 downloads9mo agoHugging Face 10Falconsai /proof_V_1text-classificationtransformersen1 likes185 downloads2d agoHugging Face 11hoskinson-center /proofGPT-v0.1-6.7Btext-generationtransformersen10 likes114 downloads4y agoHugging Face 12hoskinson-center /proofGPT-v0.1text-generationtransformersen3 likes95 downloads4y agoHugging Face 13chreh /orpo_proofreader_gguftransformersen0 likes49 downloads2y agoHugging Face 14kunjcr2 /gemma-2-9b-proof-loratext-generationpeften0 likes41 downloads5mo agoHugging Face 15jzfeng /LoGiPT-vicuna-13b-v1.5-16k-proofwriterquestion-answeringtransformersen2 likes34 downloads2y agoHugging Face 16build-small-hackathon /proofkit-distilled-qwen0.5b-gguftext-generationllama.cppen0 likes26 downloads4mo agoHugging Face 17hai1710 /Deepseek-Distill-7B-ProofWriter-sfttext-generationtransformersen0 likes23 downloads5mo agoHugging Face 18jzfeng /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriterquestion-answeringtransformersen1 likes22 downloads1y agoHugging Face 19visproj /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 20build-small-hackathon /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 21Novaciano /ProofGPT-1b-Harmful_Inversed-GGUFen2 likes20 downloads2y agoHugging Face 22build-small-hackathon /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes20 downloads4mo agoHugging Face 23vukrosic /nano-proofreadtext-generationtransformersen0 likes18 downloads3mo agoHugging Face 24NhatCuong22 /qwen2.5-7b-proofdag-sfttext-generationtransformersen0 likes14 downloads4mo agoHugging Face 25visproj /proofkit-distilled-qwen0.5b-gguftext-generationllama.cppen0 likes14 downloads4mo agoHugging Face 26visproj /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes11 downloads4mo agoHugging Face 27amkb222 /james-proof-chat-loratext-generationtransformersen0 likes10 downloads2mo agoHugging Face 28xl-zhao /formal_proof_generator_v1_iter3en0 likes8 downloads2y agoHugging Face 29ducanhdinh /jepa_proof_berten0 likes8 downloads4mo agoHugging Face 30amkb222 /runpod-proof-chat-loratext-generationtransformersen0 likes8 downloads2mo agoHugging Face

Listings come live from the Hugging Face Hub API. CoolFace does not host these files.