{"id":"00119ded-c385-496c-86b3-bdbc689490af","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-1bajkce-1k","name":"qwen3-sft-feedback-with-proof-repair-rl","description":"Hugging Face model formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl. Task: text generation. Library: transformers. 866 downloads.","capabilities":["transformers","safetensors","qwen3","text-generation","llama-factory","full","generated_from_trainer","conversational","base_model:Qwen/Qwen3-8B-Base","base_model:finetune:Qwen/Qwen3-8B-Base","license:other","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":42.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:24.701Z"}