YAML Metadata Warning: empty or missing yaml metadata in repo card (https://huggingface.co/docs/hub/model-cards#model-card-metadata)

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

Safetensors

Model size

7.62B params

Tensor type

F16

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support