DevQuasar
/

AI-MO.Kimina-Autoformalizer-7B-GGUF

Text Generation

Model card Files Files and versions

AI-MO.Kimina-Autoformalizer-7B-GGUF / AI-MO.Kimina-Autoformalizer-7B.Q4_K_S.gguf

Commit History

Upload AI-MO.Kimina-Autoformalizer-7B.Q4_K_S.gguf with huggingface_hub

e9d33fe
verified

csabakecskemeti commited on 16 days ago