Model: Slim205/Lean_prover_v1
Author: Slim205
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 models (finetune): 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
Likes: 0 | All-time downloads: 57
Created: 2025-08-28 13:26:40