Hugging Face model: FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT
Author: FluffyAIcode
Created: 2026-08-08 07:25:41
Last modified: 2026-08-08 07:48:29
Pipeline: text-generation
Library: peft
Likes: 0 | Downloads: 16
Tags: peft, safetensors, lean, lean4, theorem-proving, lora, text-generation, conversational, base_model:m-a-p/OProver-8B, base_model:adapter:m-a-p/OProver-8B, license:apache-2.0, region:us
Base model relation: adapter
Base models: id: m-a-p/OProver-8B
Card metadata:
license: apache-2.0
base_model: m-a-p/OProver-8B
library_name: peft
pipeline_tag: text-generation
tags: lean, lean4, theorem-proving, lora, peft