{"id":"3fcd8072-a2d0-4c3d-b7fb-4ea884979f3b","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-200-unmasked-eag8aq-1x","name":"qwen3-sft-feedback-with-proof-repair-rl-200-unmasked","description":"Hugging Face model formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked. 77 downloads.","capabilities":["safetensors","qwen3"],"protocols":[],"safetyScore":80,"overallRank":36.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:46.329Z"}