Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
rkumar1999
/
DeepSeek-V2-Lite-Chat-mix-logic-prover
like
0
Text Generation
Transformers
Safetensors
PEFT
KK04/LogicInference_OA
deepseek-ai/DeepSeek-Prover-V1
trl
lora
Mixture of Experts
logic
lean4
conversational
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
DeepSeek-V2-Lite-Chat-mix-logic-prover
4.1 GB
1 contributor
History:
8 commits
rkumar1999
Upload final LoRA adapter
cc2ff32
verified
4 months ago
checkpoint-60
Upload final LoRA adapter
4 months ago
checkpoint-70
Upload final LoRA adapter
4 months ago
.gitattributes
1.52 kB
initial commit
4 months ago
README.md
440 Bytes
Upload final LoRA adapter
4 months ago
adapter_config.json
959 Bytes
Training in progress, step 20
4 months ago
adapter_model.safetensors
581 MB
xet
Training in progress, step 70
4 months ago
chat_template.jinja
459 Bytes
Training in progress, step 2
4 months ago
eval_samples.log
9.31 kB
Training in progress, step 60
4 months ago
special_tokens_map.json
482 Bytes
Training in progress, step 2
4 months ago
tokenizer.json
7.5 MB
Training in progress, step 2
4 months ago
tokenizer_config.json
887 Bytes
Training in progress, step 2
4 months ago
training_args.bin
5.94 kB
xet
Training in progress, step 20
4 months ago
