Model: Slim205/Lean-conjecturer
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: 53
Created: 2025-09-01 15:50:57