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.
proofGPT-v0.1-6.7BproofGPT-v0.1gemma-2-9b-proof-loraLoGiPT-vicuna-13b-v1.5-16k-proofwriterproofkit-distilled-qwen0.5b-ggufDeepseek-Distill-7B-ProofWriter-sftLoGiPT-CodeLlama-13b-Instruct-hf-proofwriterproofkit-distilled-qwen0.5bproofkit-distilled-qwen0.5bproofkit-qwen0.5b-7knano-proofreadqwen2.5-7b-proofdag-sftproofkit-distilled-qwen0.5b-ggufproofkit-qwen0.5b-7kjames-proof-chat-lorarunpod-proof-chat-loraLoGiPT-CodeLlama-13b-hf-proofwriterproofkit-gpt-oss-20b-loraproofkit-gpt-oss-20b-lora