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

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

It ranks #31,081 on the Hub by monthly downloads and #8,031 among text generation models.

It has 0 likes.

It is a fine-tune of Qwen/Qwen3-8B-Base.

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