rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
0
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.
LoRA adapters for deepseek-ai/DeepSeek-V2-Lite-Chat trained on a mix of KK04/LogicInference_OA and deepseek-ai/DeepSeek-Prover-V1.