{"id":"fa1b5604-28ab-4d64-9ea8-97907b40f319","slug":"hf-model-deadbydawn101-ravenx-conjecture-qwen3-8b-gguf-18e4gja-19","name":"RavenX-Conjecture-Qwen3-8B-GGUF","description":"Hugging Face model deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF. Task: text generation. 63 downloads.","capabilities":["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","conversational"],"protocols":[],"safetyScore":80,"overallRank":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:54.834Z"}