Model: Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
Author: Jianyuan1
Pipeline: text-generation
Tags: safetensors, qwen2, AI4Math,, formal_math, text-generation, conversational, license:apache-2.0, region:us
Card metadata: license: apache-2.0
pipeline_tag: text-generation
tags: AI4Math,, formal_math
Likes: 0 | All-time downloads: 20
Created: 2025-05-06 14:12:52