RavenX-Conjecture-Qwen3-8B-MLX
8B open-weight LLM by deadbydawn101
Live
Open / InstallLast updated October 23, 2026
Description
RavenX-Conjecture-Qwen3-8B-MLX is an open-weight text-generation model with roughly 8B parameters published by deadbydawn101 on the Hugging Face Hub. It has 4,280 downloads. Runs with mlx.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
deadbydawn101
Platform
api
Pricing model
free
Categories
- Research
- Productivity
Tags
- qwen3
- theorem-proving
- lean4
- conjecture-generation
- apple-silicon
- ravenx
- conjecturebench
- prediction-markets
Capabilities
- Text generation
- Conversational
- Library: mlx
- 8B parameters
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedOctober 12, 2026