Hugging Face model: deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX
Author: deadbydawn101
Created: 2026-07-23 00:30:13
Last modified: 2026-07-23 02:58:12
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 101
Tags: mlx, safetensors, qwen3, theorem-proving, lean4, conjecture-generation, apple-silicon, ravenx, conjecturebench, prediction-markets, trading, polymarket, formal-verification, text-generation, conversational, en, dataset:AI-MO/NuminaMath-LEAN, arxiv:2510.11986, base_model:Qwen/Qwen3-8B, base_model:quantized:Qwen/Qwen3-8B, license:apache-2.0, 4-bit, region:us
Base model relation: quantized
Base models: id: Qwen/Qwen3-8B
Card metadata:
license: apache-2.0
language: en
library_name: mlx
tags: theorem-proving, lean4, conjecture-generation, apple-silicon, mlx, ravenx, conjecturebench, prediction-markets, trading, polymarket, formal-verification
base_model: Qwen/Qwen3-8B
datasets: AI-MO/NuminaMath-LEAN
pipeline_tag: text-generation