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 06christopherastone /distilgpt2-proofstext-generationtransformerstf0 likes160 downloads3y agoHugging Face 07hoskinson-center /proofGPT-v0.1-6.7Btext-generationtransformersen10 likes114 downloads4y agoHugging Face 08hoskinson-center /proofGPT-v0.1text-generationtransformersen3 likes95 downloads4y agoHugging Face 09Contamination /contaminated_proof_7b_v1.0text-generationtransformers4 likes61 downloads2y agoHugging Face 10Contamination /contaminated_proof_7b_v1.0_safetensortext-generationtransformers12 likes59 downloads2y agoHugging Face 11jzfeng /LoGiPT-vicuna-13b-v1.5-16k-proofwriterquestion-answeringtransformersen2 likes34 downloads2y agoHugging Face 12Moo /kogpt2-proofreadertext-generationtransformers0 likes25 downloads3y agoHugging Face 13AI4M /gpt4-full-prooftext-generationtransformers0 likes23 downloads3y agoHugging Face 14hai1710 /Deepseek-Distill-7B-ProofWriter-sfttext-generationtransformersen0 likes23 downloads5mo agoHugging Face 15jzfeng /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriterquestion-answeringtransformersen1 likes22 downloads1y agoHugging Face 16visproj /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 17build-small-hackathon /proofkit-distilled-qwen0.5btext-generationtransformersen0 likes21 downloads4mo agoHugging Face 18build-small-hackathon /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes20 downloads4mo agoHugging Face 19Moo /proofreadertext-generationtransformers0 likes19 downloads4y agoHugging Face 20zhangirazerbayev /proof-pile-v1_step11632text-generationtransformers0 likes18 downloads3y agoHugging Face 21vukrosic /nano-proofreadtext-generationtransformersen0 likes18 downloads3mo agoHugging Face 22NhatCuong22 /qwen2.5-7b-proofdag-sfttext-generationtransformersen0 likes14 downloads4mo agoHugging Face 23visproj /proofkit-qwen0.5b-7k-loratext-generationpeft0 likes14 downloads4mo agoHugging Face 24EricSpencer00 /chattla-20b-proof-repair-gate25text-generationpeft0 likes14 downloads22d agoHugging Face 25zhangirazerbayev /proofgpt-v0.5-llama-7b-step20000text-generationtransformers0 likes13 downloads3y agoHugging Face 26zhangirazerbayev /proofgpt_v0.7_arxiv-pilev2_shorttext-generationtransformers0 likes13 downloads3y agoHugging Face 27HenriCastro /think_proof_concepttext-generationtransformers0 likes12 downloads3y agoHugging Face 28visproj /proofkit-qwen0.5b-7ktext-generationtransformersen0 likes11 downloads4mo agoHugging Face 29yuolhyc /cs224r-sft-tags-proof-backtrack-v5-eostext-generationtransformers0 likes10 downloads4mo agoHugging Face 30amkb222 /james-proof-chat-loratext-generationtransformersen0 likes10 downloads2mo agoHugging Face

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