12 shown

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.

01WufuJu /internlm2-5-step-prover-critictext-generationen0 likes737 downloads19d agoHugging Face 02QuantFactory /internlm2-step-prover-GGUFtext-generationen1 likes668 downloads2y agoHugging Face 03stepfun-ai /StepFun-Prover-Preview-32Btext-generationtransformersen11 likes214 downloads1y agoHugging Face 04stepfun-ai /StepFun-Prover-Preview-7Btext-generationtransformersen3 likes205 downloads1y agoHugging Face 05internlm /internlm2_5-step-provertext-generationen5 likes160 downloads2y agoHugging Face 06internlm /internlm2_5-step-prover-critictext-generationen6 likes128 downloads2y agoHugging Face 07internlm /internlm2-step-provertext-generationtransformersen23 likes105 downloads2y agoHugging Face 08tensorblock /internlm2_5-step-prover-GGUFtext-generationen0 likes99 downloads8mo agoHugging Face 09tensorblock /internlm2-step-prover-GGUFtext-generationen0 likes77 downloads8mo agoHugging Face 10HanningZhang /physlean_ds_prover_noapply_grpo_1e-6_bs256_step35text-generationtransformers0 likes17 downloads9mo agoHugging Face 11HanningZhang /physlean_ds_prover_grpo_1e-6_bs256_step90text-generationtransformers0 likes11 downloads9mo agoHugging Face 12jvelja /sneaky_prover_round_0_step_100text-generationtransformers0 likes8 downloads1y agoHugging Face

Listings come live from the Hugging Face Hub API. CoolFace does not host these files.