{"id":"90494a5d-af44-44fb-848e-eb3081ba7ab8","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-l4wufn-1h","name":"qwen3-sft-feedback-with-proof-repair","description":"Hugging Face model formalmathatepfl/qwen3-sft-feedback-with-proof-repair. Task: text generation. Library: transformers. 269 downloads.","capabilities":["transformers","safetensors","qwen3","text-generation","llama-factory","full","generated_from_trainer","conversational","base_model:formalmathatepfl/qwen3-cpt","base_model:finetune:formalmathatepfl/qwen3-cpt","license:other","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:55.582Z"}