Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ANTPG
/
llemma-minilang
like
0
Follow
A Neural Theorem Proving Group
3
Text Generation
Transformers
Safetensors
llama
text-generation-inference
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
llemma-minilang
Commit History
Upload tokenizer
db40f06
verified
reasonwang
commited on
May 17, 2025
Upload LlamaForCausalLM
828a519
verified
reasonwang
commited on
May 17, 2025
initial commit
c6ee80b
verified
reasonwang
commited on
May 17, 2025