20 results

proof

inall models datasets apps agents people projects

Models

All models matching “proof”

formalmathatepfl /qwen3-sft-feedback-with-proof-repairtext-generationtransformers0 likes2.4k downloads28d agoHugging Face formalmathatepfl /qwen3-sft-feedback-with-proof-repair-rltext-generationtransformers0 likes2k downloads23d agoHugging Face mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFtransformersen0 likes989 downloads1y agoHugging Face mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFtransformersen0 likes942 downloads2y agoHugging Face mradermacher /distilgpt2-proofs-i1-GGUFtransformersen0 likes577 downloads1y agoHugging Face mradermacher /LoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFtransformersen0 likes445 downloads2y agoHugging Face mradermacher /LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFtransformersen0 likes434 downloads1y agoHugging Face mradermacher /distilgpt2-proofs-GGUFtransformersen0 likes428 downloads1y agoHugging Face