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

Model: formalmathatepfl/deepseek-prover-v2-cpt-sft-1e Source: Original Platform
2026-06-11 02:52:18 +08:00
commit aa13e379ad
20 changed files with 503848 additions and 0 deletions
--- a/eval_results.json
+++ b/eval_results.json
@@ -0,0 +1,7 @@
+{
+    "epoch": 1.0,
+    "eval_loss": 0.06154083460569382,
+    "eval_runtime": 471.6015,
+    "eval_samples_per_second": 4.907,
+    "eval_steps_per_second": 0.307
+}