Model: aibotwin/LOTB
Author: aibotwin
Tags: en, arxiv:1910.09700, base_model:deepseek-ai/DeepSeek-Prover-V2-671B, base_model:finetune:deepseek-ai/DeepSeek-Prover-V2-671B, license:mit, region:us
Base models (finetune): id: deepseek-ai/DeepSeek-Prover-V2-671B
Card metadata: license: mit
language: en
base_model: deepseek-ai/DeepSeek-Prover-V2-671B
Likes: 0 | All-time downloads: 0
Created: 2025-05-11 01:47:07