rkumar1999

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

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

DeepSeek-V2-Lite-Chat-mix-logic-prover is a text generation model from rkumar1999. Use it when you need the model to write or continue text. It is set up for transformers.

LoRA adapters for deepseek-ai/DeepSeek-V2-Lite-Chat trained on a mix of KK04/LogicInferenceOA and deepseek-ai/DeepSeek-Prover-V1.