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
656738f
AI-MO.Kimina-Autoformalizer-7B-GGUF
Ctrl+K
Ctrl+K
1 contributor
History:
6 commits
csabakecskemeti
Upload AI-MO.Kimina-Autoformalizer-7B.Q4_K_M.gguf with huggingface_hub
656738f
verified
16 days ago
.gitattributes
1.75 kB
Upload AI-MO.Kimina-Autoformalizer-7B.Q4_K_M.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.Q4_K_M.gguf
Safe
4.68 GB
xet
Upload AI-MO.Kimina-Autoformalizer-7B.Q4_K_M.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
