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

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-150 is an 8.2B-parameter model model by formalmathatepfl. In the last 30 days it was downloaded 160 times (5 in the last 7 days), and 160 times in total.

It ranks #152,914 on the Hub by monthly downloads.

It has 0 likes.

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