purewhite42
/

DExplorer-8B

Text Generation

formal-mathematics

problem-generation

formal-statement-synthesis

text-generation-inference

Model card Files Files and versions

DExplorer-8B / tokenizer.json

Commit History

Upload folder using huggingface_hub

55a1033
verified

purewhite42 commited on 2 days ago