purewhite42
/

DExplorer-8B

Text Generation

formal-mathematics

problem-generation

formal-statement-synthesis

text-generation-inference

Model card Files Files and versions

DExplorer-8B / README.md

Commit History

Update README.md

b1e10aa
verified

purewhite42 commited on 2 days ago

Update README.md

5ffa9a8
verified

purewhite42 commited on 2 days ago

Upload folder using huggingface_hub

55a1033
verified

purewhite42 commited on 2 days ago

initial commit

d0b3d26
verified

purewhite42 commited on 3 days ago