purewhite42
/

DExplorer-8B

Text Generation

formal-mathematics

problem-generation

formal-statement-synthesis

text-generation-inference

Model card Files Files and versions

DExplorer-8B / vocab.json

purewhite42's picture

Upload folder using huggingface_hub

55a1033 verified about 2 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.