AI-MO
/

Kimina-Prover-Preview-Distill-7B

Text Generation

text-generation-inference

Model card Files Files and versions Community

mertunsal commited on 5 days ago

Commit

64b15fe

·

verified ·

1 Parent(s): 7e011fd

Update config.json

Files changed (1) hide show

config.json +1 -1

config.json CHANGED Viewed

@@ -1,5 +1,5 @@
 {
-  "_name_or_path": "AI-MO/Qwen2.5-Math-7B-Instruct-formal-prover-ft-v7.1-020425-CSFT",
   "architectures": [
     "Qwen2ForCausalLM"
   ],

 {
+  "_name_or_path": "AI-MO/Kimina-Prover-Preview-Distill-7B",
   "architectures": [
     "Qwen2ForCausalLM"
   ],