Hugging Face model: Slim205/Lean_prover_v1
Author: Slim205
Created: 2025-08-28 13:26:40
Last modified: 2025-09-01 20:18:16
Likes: 0 | Downloads: 4
Tags: safetensors, llama, en, base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFT, base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFT, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V1.5-SFT
Card metadata:
license: apache-2.0
language: en
base_model: deepseek-ai/DeepSeek-Prover-V1.5-SFT