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

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

It ranks #193,423 on the Hub by monthly downloads and #51,434 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-reasoning on Hugging Face