Model: sorgfresser/kiminaembedbeta
Author: sorgfresser
Tags: safetensors, qwen2, base_model:AI-MO/Kimina-Autoformalizer-7B, base_model:finetune:AI-MO/Kimina-Autoformalizer-7B, region:us
Base models (finetune): id: AI-MO/Kimina-Autoformalizer-7B
Card metadata: base_model: AI-MO/Kimina-Autoformalizer-7B
Likes: 0 | All-time downloads: 11
Created: 2025-06-04 06:35:16