purewhite42
/

DExplorer-8B

Text Generation

formal-mathematics

problem-generation

formal-statement-synthesis

text-generation-inference

Model card Files Files and versions

DExplorer-8B / .gitattributes

Commit History

Upload folder using huggingface_hub

55a1033
verified

purewhite42 commited on 2 days ago

initial commit

d0b3d26
verified

purewhite42 commited on 3 days ago