{"id":"81f7f965-c272-414a-91d6-a2f61362fac3","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-125-unmasked-9agcso-1x","name":"qwen3-sft-feedback-with-proof-repair-rl-125-unmasked","description":"Hugging Face model formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked. 56 downloads.","capabilities":["safetensors","qwen3"],"protocols":[],"safetyScore":80,"overallRank":35.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:03.625Z"}