qwen3-sft-feedback-with-proof-repair

Description

qwen3-sft-feedback-with-proof-repair is an open-weight text-generation model published by formalmathatepfl on the Hugging Face Hub. It has 2,127 downloads. Runs with transformers.

Categories

• Research
• Productivity

Tags

• qwen3
• text-generation
• llama-factory
• full
• generated_from_trainer
• conversational

Capabilities

• Text generation
• Conversational
• Library: transformers