Hugging Face model: vincentoh/kimina-prover-rrma-sft
Author: vincentoh
Created: 2026-06-06 00:12:13
Last modified: 2026-06-06 00:12:36
Library: peft
Likes: 0 | Downloads: 2
Tags: peft, safetensors, lean4, theorem-proving, lora, qlora, trl, formal-methods, base_model:AI-MO/Kimina-Prover-Preview-Distill-7B, base_model:adapter:AI-MO/Kimina-Prover-Preview-Distill-7B, license:apache-2.0, region:us
Base model relation: adapter
Base models: id: AI-MO/Kimina-Prover-Preview-Distill-7B
Card metadata:
license: apache-2.0
base_model: AI-MO/Kimina-Prover-Preview-Distill-7B
tags: lean4, theorem-proving, peft, lora, qlora, trl, formal-methods