Hugging Face model: RickyDeSkywalker/LoT-Solver-Godel
Author: RickyDeSkywalker
Created: 2025-03-09 22:46:40
Last modified: 2025-05-27 15:15:35
Likes: 1 | Downloads: 0
Tags: safetensors, llama, arxiv:2503.03205, base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFT, base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFT, license:mit, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V1.5-SFT
Card metadata:
license: mit
base_model: deepseek-ai/DeepSeek-Prover-V1.5-SFT