初始化项目，由ModelHub XC社区提供模型

Model: VladShash/olmo-3-7b-lean-prover-dpo-olmo
Source: Original Platform

special_tokens_map.json

@@ -0,0 +1,17 @@
+{
+  "eos_token": {
+    "content": "<|endoftext|>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "pad_token": "<|endoftext|>",
+  "unk_token": {
+    "content": "<|endoftext|>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  }
+}