{"id":"d504ac6c-d463-4eed-a1a7-1b24236f11cd","slug":"hf-model-purewhite42-dexplorer-8b-1r5l8x1-o","name":"DExplorer-8B","description":"Hugging Face model purewhite42/DExplorer-8B. Task: text generation. Library: transformers. 27 downloads.","capabilities":["transformers","pytorch","qwen3","text-generation","formal-mathematics","lean4","data-synthesis","problem-generation","formal-statement-synthesis","conversational","en","dataset:purewhite42/DExploration_Dataset","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:56.296Z"}