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 03formalmathatepfl /qwen3-sft-feedback-with-proof-repair-reasoningtext-generationtransformers0 likes374 downloads28d agoHugging Face 04haesleinhuepf /Llama-3.1-Minitron-4B-Depth-BIA-proof-of-concepttext-generationtransformers0 likes214 downloads23d agoHugging Face 05haesleinhuepf /gemma-2b-it-bia-proof-of-concept2text-generationtransformers0 likes199 downloads23d agoHugging Face 06featherless-ai-quants /Contamination-contaminated_proof_7b_v1.0_safetensor-GGUFtext-generation0 likes184 downloads2y agoHugging Face 07christopherastone /distilgpt2-proofstext-generationtransformerstf0 likes160 downloads3y agoHugging Face 08hoskinson-center /proofGPT-v0.1-6.7Btext-generationtransformersen10 likes114 downloads4y agoHugging Face 09hoskinson-center /proofGPT-v0.1text-generationtransformersen3 likes95 downloads4y agoHugging Face 10Contamination /contaminated_proof_7b_v1.0text-generationtransformers4 likes61 downloads2y agoHugging Face 11Contamination /contaminated_proof_7b_v1.0_safetensortext-generationtransformers12 likes59 downloads2y agoHugging Face 12kunjcr2 /gemma-2-9b-proof-loratext-generationpeften0 likes41 downloads5mo agoHugging Face 13jzfeng /LoGiPT-vicuna-13b-v1.5-16k-proofwriterquestion-answeringtransformersen2 likes34 downloads2y agoHugging Face 14build-small-hackathon /proofkit-distilled-qwen0.5b-gguftext-generationllama.cppen0 likes26 downloads4mo agoHugging Face 15Moo /kogpt2-proofreadertext-generationtransformers0 likes25 downloads3y agoHugging Face 16AI4M /gpt4-full-prooftext-generationtransformers0 likes23 downloads3y 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 21build-small-hackathon /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes20 downloads4mo agoHugging Face 22AXIOM-TECH /ProofSeeker_v1-GGUFtext-generation0 likes20 downloads2mo agoHugging Face 23Moo /proofreadertext-generationtransformers0 likes19 downloads4y agoHugging Face 24zhangirazerbayev /proof-pile-v1_step11632text-generationtransformers0 likes18 downloads3y agoHugging Face 25vukrosic /nano-proofreadtext-generationtransformersen0 likes18 downloads3mo agoHugging Face 26NhatCuong22 /qwen2.5-7b-proofdag-sfttext-generationtransformersen0 likes14 downloads4mo agoHugging Face 27visproj /proofkit-qwen0.5b-7k-loratext-generationpeft0 likes14 downloads4mo agoHugging Face 28visproj /proofkit-distilled-qwen0.5b-gguftext-generationllama.cppen0 likes14 downloads4mo agoHugging Face 29EricSpencer00 /chattla-20b-proof-repair-gate25text-generationpeft0 likes14 downloads22d agoHugging Face 30zhangirazerbayev /proofgpt-v0.5-llama-7b-step20000text-generationtransformers0 likes13 downloads3y agoHugging Face

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