Hugging Face model: Jianyuan1/Kimina-Autoformalizer-7B-RL
Author: Jianyuan1
Created: 2025-05-02 02:31:33
Last modified: 2025-05-02 02:38:41
Likes: 0 | Downloads: 7
Tags: safetensors, qwen2, region:us
Card metadata: