File size: 156 Bytes
f391479 |
1 2 3 4 5 6 |
# Merged Model
Base model: Kimina-Autoformalizer-7B-RL
Adapter: DeepSeek-Prover-V1.5_411/results_0502_e2/final_model/
Created with merge_lora_quantized.py
|
f391479 |
1 2 3 4 5 6 |
# Merged Model
Base model: Kimina-Autoformalizer-7B-RL
Adapter: DeepSeek-Prover-V1.5_411/results_0502_e2/final_model/
Created with merge_lora_quantized.py
|