qwen3-sft-feedback-with-proof-repair-rl
Open-weight LLM by formalmathatepfl
Live
Open / InstallLast updated October 20, 2026
Description
qwen3-sft-feedback-with-proof-repair-rl is an open-weight text-generation model published by formalmathatepfl on the Hugging Face Hub. It has 632 downloads. Runs with transformers.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
formalmathatepfl
Platform
api
Pricing model
free
Categories
- Productivity
Tags
- qwen3
- text-generation
- llama-factory
- full
- generated_from_trainer
- conversational
Capabilities
- Text generation
- Conversational
- Library: transformers
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedSeptember 27, 2026