Modelpublic

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

sourceHugging Faceotherupdated 25d agoView on Hugging Face

0likes2kdownloads

2 commits on main

26e919d25d ago

Upload model from qwen3-cpt-lean-sft-feedback-selfdistill-r1

Lemmy00

d90513d25d ago

initial commit

Lemmy00