huawei-ai4math
/

Mathesis-Autoformalizer

Model card Files Files and versions

Mathesis-Autoformalizer / README.md

Jianyuan1's picture

Upload folder using huggingface_hub

f391479 verified 7 months ago

|

history blame contribute delete

156 Bytes

	# 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