qwen-3.5-babel-0.8b-sft
0.8B open-weight LLM by theostos
Live
Open / InstallLast updated October 18, 2026
Description
qwen-3.5-babel-0.8b-sft is an open-weight text-generation model with roughly 0.8B parameters published by theostos on the Hugging Face Hub. It has 352 downloads. Runs with transformers.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
theostos
Platform
api
Pricing model
free
Categories
- Productivity
Tags
- qwen3_5_text
- text-generation
- formal-methods
- theorem-proving
- lean
- rocq
- qwen3.5
- supervised-fine-tuning
Capabilities
- Text generation
- Conversational
- Library: transformers
- 0.8B parameters
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedOctober 14, 2026