{"id":"15ce9b7a-95b2-412d-a569-d6044141ad3c","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-150-z7roe9-1o","name":"qwen3-sft-feedback-with-proof-repair-rl-150","description":"Hugging Face model formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-150. 140 downloads.","capabilities":["safetensors","qwen3"],"protocols":[],"safetyScore":80,"overallRank":38,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:21.864Z"}