CoolFace
14 results

proofwriter

inallmodelsdatasetsappsagentspeopleprojects

Models

All models matching “proofwriter”
mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFtransformersen0 likes1k downloads2y agoHugging Facemradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFtransformersen0 likes981 downloads1y agoHugging Facemradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFtransformersen0 likes454 downloads2y agoHugging Facemradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFtransformersen0 likes438 downloads1y agoHugging Facemradermacher /Deepseek-Distill-7B-ProofWriter-sft-GGUFtransformersen0 likes330 downloads5mo agoHugging Facedefk0n1 /Llama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIO0 likes44 downloads4mo agoHugging Facedefk0n1 /Llama3.1-8B-Instruct-ProofWriter_LogiQA_PrOntoQA_FOLIO_v40 likes39 downloads3mo agoHugging Facejzfeng /LoGiPT-vicuna-13b-v1.5-16k-proofwriterquestion-answeringtransformersen2 likes31 downloads2y agoHugging Face