Update README.md

README.md

@@ -6,8 +6,8 @@ language:
   - en                                 # natural language comments
   - code                               # Lean proof language (= non-natural)
 base_model: kfdong/STP_model_Lean_0320
-datasets:
-  - stp_lean_theorems                  # rename if your JSON file differs
+#datasets:
+ # -                   # rename if your JSON file differs
 metrics:
   - train_loss
   - eval_loss
@@ -67,7 +67,7 @@ LoRA rank-16 adapter fine-tuned from **`kfdong/STP_model_Lean_0320`** to assist
 ---
 
 
-### Results  (1 epoch, STP Lean corpus)
+### Results  (1 epoch)
 
 | Metric                    | Value |
 |---------------------------|-------|