Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
DevQuasar
/
AI-MO.Kimina-Autoformalizer-7B-GGUF
like
0
Follow
DevQuasar
138
Text Generation
GGUF
conversational
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
dd06036
AI-MO.Kimina-Autoformalizer-7B-GGUF
Ctrl+K
Ctrl+K
1 contributor
History:
5 commits
csabakecskemeti
Upload AI-MO.Kimina-Autoformalizer-7B.Q2_K.gguf with huggingface_hub
dd06036
verified
16 days ago
.gitattributes
1.67 kB
Upload AI-MO.Kimina-Autoformalizer-7B.Q2_K.gguf with huggingface_hub
16 days ago
AI-MO.Kimina-Autoformalizer-7B.Q2_K.gguf
Safe
3.02 GB
xet
Upload AI-MO.Kimina-Autoformalizer-7B.Q2_K.gguf with huggingface_hub
16 days ago
AI-MO.Kimina-Autoformalizer-7B.f16.gguf
Safe
15.2 GB
xet
Upload AI-MO.Kimina-Autoformalizer-7B.f16.gguf with huggingface_hub
16 days ago
README.md
Safe
847 Bytes
Upload README.md with huggingface_hub
16 days ago
