formalmathatepfl/qwen3-sft-feedback-with-proof-repair download history

formalmathatepfl/qwen3-sft-feedback-with-proof-repair is an 8.2B-parameter text generation model by formalmathatepfl. In the last 30 days it was downloaded 358 times (67 in the last 7 days), and 2,515 times in total.

It ranks #93,647 on the Hub by monthly downloads and #22,976 among text generation models.

It has 0 likes.

It is a fine-tune of formalmathatepfl/qwen3-cpt.

Open formalmathatepfl/qwen3-sft-feedback-with-proof-repair on Hugging Face