{"id":"edb5e2d8-83a0-4e87-8ccc-1f01dff3d91c","slug":"hf-model-mradermacher-dexplorer-8b-gguf-mobuub-u","name":"DExplorer-8B-GGUF","description":"Hugging Face model mradermacher/DExplorer-8B-GGUF. Library: transformers. 339 downloads.","capabilities":["transformers","gguf","formal-mathematics","lean4","data-synthesis","problem-generation","formal-statement-synthesis","en","dataset:purewhite42/DExploration_Dataset","base_model:purewhite42/DExplorer-8B","base_model:quantized:purewhite42/DExplorer-8B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:46.329Z"}