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.
LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFLoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFdistilgpt2-proofs-i1-GGUFLoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFLoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFdistilgpt2-proofs-GGUFContamination_-_contaminated_proof_7b_v1.0_safetensor-ggufDeepseek-Distill-7B-ProofWriter-sft-GGUFContamination_-_contaminated_proof_7b_v1.0-ggufCFM-Proof-7B-GGUFQwen3-4B-Thinking-2507-Proof-GGUFmlfoundations-dev_-_llama3-1_8b_mlfoundations-dev-stackexchange_proofassistants-ggufContamination-contaminated_proof_7b_v1.0_safetensor-GGUFproof_v2orpo_proofreader_ggufLlama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIO_v4Llama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIOproofkit-distilled-qwen0.5b-ggufProofGPT-1b-Harmful_Inversed-GGUFProofSeeker_v1-GGUFproofkit-distilled-qwen0.5b-ggufunverified_stratos_mix_no_proofs_without_metadata-GGUFproof_v3Llama-3.1-Minitron-4B-Depth-BIA-proof-of-concept-GGUFhaesleinhuepf_-_gemma-2b-it-bia-proof-of-concept2-gguf