Hugging Face model: purewhite42/DExplorer-8B
Author: purewhite42
Created: 2026-02-27 14:27:10
Last modified: 2026-02-28 03:39:00
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 11
Tags: 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, region:us
Card metadata:
license: apache-2.0
datasets: purewhite42/DExploration_Dataset
language: en
base_model: Goedel-Prover/Goedel-Prover-V2-8B
pipeline_tag: text-generation
library_name: transformers
tags: formal-mathematics, lean4, data-synthesis, problem-generation, formal-statement-synthesis