rkumar1999
/

DeepSeek-V2-Lite-Chat-mix-logic-prover

Text Generation

Mixture of Experts

Model card Files Files and versions

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.

Downloads last month: -; Downloads are not tracked for this model. How to track

Model tree for rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover

Base model

deepseek-ai/DeepSeek-V2-Lite-Chat

Adapter

(5)

this model

Datasets used to train rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover