Hugging Face model: deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF
Author: deadbydawn101
Created: 2026-07-23 02:13:23
Last modified: 2026-07-23 03:34:10
Pipeline: text-generation
Likes: 0 | Downloads: 204
Tags: gguf, theorem-proving, lean4, conjecture-generation, ollama, ravenx, conjecturebench, prediction-markets, trading, polymarket, formal-verification, text-generation, en, dataset:AI-MO/NuminaMath-LEAN, arxiv:2510.11986, base_model:Qwen/Qwen3-8B, base_model:quantized:Qwen/Qwen3-8B, license:apache-2.0, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: Qwen/Qwen3-8B
Card metadata:
license: apache-2.0
language: en
tags: theorem-proving, lean4, conjecture-generation, gguf, ollama, ravenx, conjecturebench, prediction-markets, trading, polymarket, formal-verification
base_model: Qwen/Qwen3-8B
datasets: AI-MO/NuminaMath-LEAN
pipeline_tag: text-generation