Add base_model metadata
#2
by davanstrien HF Staff - opened
Adds base_model metadata to expose this model in the deepseek-ai/DeepSeek-Prover-V1.5-Base model tree
Chester111 changed pull request status to merged
Adds base_model metadata to expose this model in the deepseek-ai/DeepSeek-Prover-V1.5-Base model tree