Hugging Face model: Slim205/Lean-conjecturer
Author: Slim205
Created: 2025-09-01 15:50:57
Last modified: 2025-09-01 16:33:41
Likes: 0 | Downloads: 9
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