Hugging Face model: Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
Author: Jianyuan1
Created: 2025-05-06 14:12:52
Last modified: 2025-06-12 05:14:04
Pipeline: text-generation
Likes: 0 | Downloads: 5
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