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
eaa27b8
AI-MO.Kimina-Autoformalizer-7B-GGUF
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
csabakecskemeti
Upload AI-MO.Kimina-Autoformalizer-7B.f16.gguf with huggingface_hub
eaa27b8
verified
16 days ago
.gitattributes
1.6 kB
Upload AI-MO.Kimina-Autoformalizer-7B.f16.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
