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.

01formalmathatepfl /qwen3-sft-feedback-with-proof-repairtext-generationtransformers0 likes2.4k downloads29d agoHugging Face 02formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rltext-generationtransformers0 likes2k downloads23d agoHugging Face 03mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFtransformersen0 likes989 downloads1y agoHugging Face 04mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFtransformersen0 likes942 downloads2y agoHugging Face 05mradermacher /distilgpt2-proofs-i1-GGUFtransformersen0 likes577 downloads1y agoHugging Face 06mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFtransformersen0 likes445 downloads2y agoHugging Face 07mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFtransformersen0 likes434 downloads1y agoHugging Face 08mradermacher /distilgpt2-proofs-GGUFtransformersen0 likes428 downloads1y agoHugging Face 09formalmathatepfl /qwen3-sft-feedback-with-proof-repair-reasoningtext-generationtransformers0 likes374 downloads28d agoHugging Face 10mradermacher /Deepseek-Distill-7B-ProofWriter-sft-GGUFtransformersen0 likes328 downloads5mo agoHugging Face 11mradermacher /CFM-Proof-7B-GGUFtransformersen0 likes322 downloads3mo agoHugging Face 12haesleinhuepf /Llama-3.1-Minitron-4B-Depth-BIA-proof-of-concepttext-generationtransformers0 likes214 downloads23d agoHugging Face 13mradermacher /Qwen3-4B-Thinking-2507-Proof-GGUFtransformersen1 likes214 downloads9mo agoHugging Face 14haesleinhuepf /gemma-2b-it-bia-proof-of-concept2text-generationtransformers0 likes199 downloads23d agoHugging Face 15Falconsai /proof_V_1text-classificationtransformersen1 likes185 downloads2d agoHugging Face 16christopherastone /distilgpt2-proofstext-generationtransformerstf0 likes160 downloads3y agoHugging Face 17hoskinson-center /proofGPT-v0.1-6.7Btext-generationtransformersen10 likes114 downloads4y agoHugging Face 18hoskinson-center /proofGPT-v0.1text-generationtransformersen3 likes95 downloads4y agoHugging Face 19Contamination /contaminated_proof_7b_v1.0text-generationtransformers4 likes61 downloads2y agoHugging Face 20Contamination /contaminated_proof_7b_v1.0_safetensortext-generationtransformers12 likes59 downloads2y agoHugging Face 21chreh /orpo_proofreader_gguftransformersen0 likes49 downloads2y agoHugging Face 22jzfeng /LoGiPT-vicuna-13b-v1.5-16k-proofwriterquestion-answeringtransformersen2 likes34 downloads2y agoHugging Face 23Moo /kogpt2-proofreadertext-generationtransformers0 likes25 downloads3y agoHugging Face 24AI4M /gpt4-full-prooftext-generationtransformers0 likes23 downloads3y agoHugging Face 25hai1710 /Deepseek-Distill-7B-ProofWriter-sfttext-generationtransformersen0 likes23 downloads5mo agoHugging Face 26jzfeng /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriterquestion-answeringtransformersen1 likes22 downloads1y agoHugging Face 27visproj /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 28build-small-hackathon /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 29Reshma27 /Layout_LM_EntityExtractionFor_ProofOfAddresstoken-classificationtransformers0 likes20 downloads4y agoHugging Face 30build-small-hackathon /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes20 downloads4mo agoHugging Face

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