DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
ModelHub XC 6273053272 初始化项目，由ModelHub XC社区提供模型 
Model: DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF
Source: Original Platform
2026-09-22 12:57:12 +08:00
.gitattributes
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.f16.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q2_K.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q3_K_L.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q3_K_M.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q3_K_S.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q4_K_M.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q4_K_S.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q5_K_M.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q5_K_S.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q6_K.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
AI-MO.Kimina-Autoformalizer-7B.Q8_0.gguf
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
configuration.json
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00
README.md
初始化项目，由ModelHub XC社区提供模型
2026-09-22 12:57:12 +08:00

README.md

base_model, pipeline_tag
base_model pipeline_tag
AI-MO/Kimina-Autoformalizer-7B
text-generation

Quantized version of: AI-MO/Kimina-Autoformalizer-7B

'Make knowledge free for everyone'

Made with

Buy Me a Coffee at ko-fi.com

Description
Model synced from source: DevQuasar/AI-MO.Kimina-Autoformalizer-7B-GGUF
Readme 26 KiB