Update README.md

README.md

@@ -71,8 +71,8 @@ We introduce Goedel-Prover, an open-source language model that achieves state-of
 | DeepSeek-Prover-V1.5-SFT | 3200 | 53.3% |
 | DeepSeek-Prover-V1.5-RL | 3200 | 54.9% |
 | **Goedel-Prover-SFT** | **3200** | **62.7%** |
-| **Goedel-Prover-DPO** | **3200** | **63.2%** |
-| **Goedel-Prover-RL** | **3200** | **65.0%** |
+| **Goedel-Prover-DPO** | **3200** | **65.0%** |
+| **Goedel-Prover-RL** | **3200** | **63.2%** |
 |------------------------|------------------|------------------|
 | DeepSeek-Prover-V1.5-SFT | 25600 | 55.8% |
 | DeepSeek-Prover-V1.5-RL | 25600 | 58.5% |
@@ -112,14 +112,14 @@ Putnam
 
 ## 3. Dataset Downloads
 
-We are also releasing 29,7K proofs of the problems in Lean-workbook found by our Goedel-Prover-SFT.
+We are also releasing the largest lean problem set Goedel-Pset-v1 and the proofs of the problems in Lean-workbook found by our Goedel-Prover-SFT, .
 
 <div align="center">
 
 |            **Datasets**            |                          **Download**                         |
 | :-----------------------------: | :----------------------------------------------------------: |
-|   Lean-workbook-proofs   | [🤗 HuggingFace](https://huggingface.co/datasets/Goedel-LM/Lean-workbook-proofs) |
 |   Goedel-Pset-v1   | [🤗 HuggingFace](https://huggingface.co/datasets/Goedel-LM/Goedel-Pset-v1) |
+|   Lean-workbook-proofs   | [🤗 HuggingFace](https://huggingface.co/datasets/Goedel-LM/Lean-workbook-proofs) |
 </div>
 
 ## 4. Citation