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-GGUFLoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFLoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFDeepseek-Distill-7B-ProofWriter-sft-GGUFLlama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIOLlama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIO_v4