Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
DeepSeek-V2-Lite-Chat-mix-logic-prover – AI Model by rkumar1999 | AlphaNeural AI
You can deploy this model and start earning money today!
rkumar1999
/
DeepSeek-V2-Lite-Chat-mix-logic-prover
like
0
transformers
safetensors
trl
peft
lora
moe
logic
lean4
text-generation
conversational
KK04/LogicInference_OA
deepseek-ai/DeepSeek-Prover-V1
deepseek-ai/DeepSeek-V2-Lite-Chat
adapter
endpoints_compatible
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
LoRA adapters for
deepseek-ai/DeepSeek-V2-Lite-Chat
trained on a mix of
KK04/LogicInference_OA
and
deepseek-ai/DeepSeek-Prover-V1
.
