{"id":"b561d62f-328d-448e-818a-8f16d50ab231","slug":"hf-model-deadbydawn101-ravenx-conjecture-qwen3-8b-mlx-kptqxq-18","name":"RavenX-Conjecture-Qwen3-8B-MLX","description":"Hugging Face model deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX. Task: text generation. Library: mlx. 552 downloads.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":41.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:33.700Z"}