Base model: Kimina-Autoformalizer-7B-RL Adapter: DeepSeek-Prover-V1.5_411/results_0502_e2/final_model/ Created with merge_lora_quantized.py
