docs: minor fixes (#913)

* Fix minor error deepseep prover * Fix minor type generate sentence pairs
argilla-io · Aug 19, 2024 · 516909e · 516909e
1 parent ebe7e25
commit 516909e
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/docs/sections/pipeline_samples/examples/index.md b/docs/sections/pipeline_samples/examples/index.md
@@ -25,6 +25,14 @@ hide: toc
 
 <div class="grid cards" markdown>
 
+-   __Deepseek Prover__
+
+    ---
+
+    Learn about an approach to generate mathematical proofs for theorems generated from informal math problems.
+
+    [:octicons-arrow-right-24: Example](../papers/deepseek_prover.md)
+
 -   __DEITA__
 
     ---

diff --git a/docs/sections/pipeline_samples/tutorials/GenerateSentencePair.ipynb b/docs/sections/pipeline_samples/tutorials/GenerateSentencePair.ipynb
@@ -653,7 +653,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "### Retrieval\n",
+    "### Reranking\n",
     "\n",
     "For reranking, `sentence-transformers` provides a script that shows [how to fine-tune a CrossEncoder models](https://github.com/UKPLab/sentence-transformers/tree/master/examples/training/cross-encoder). Ad of now, there is [some uncertainty over fine-tuning CrossEncoder models with triplets](https://github.com/UKPLab/sentence-transformers/issues/2366) but you can still use the `positive` and `anchor`"
    ]

diff --git a/mkdocs.yml b/mkdocs.yml
@@ -189,6 +189,7 @@ nav:
       - Tutorials:
           - Synthetic data generation for fine-tuning custom retrieval and reranking models: "sections/pipeline_samples/tutorials/GenerateSentencePair.ipynb"
       - Papers:
+          - DeepSeek Prover: "sections/pipeline_samples/papers/deepseek_prover.md"
           - DEITA: "sections/pipeline_samples/papers/deita.md"
           - Instruction Backtranslation: "sections/pipeline_samples/papers/instruction_backtranslation.md"
           - Prometheus 2: "sections/pipeline_samples/papers/prometheus.md"
@@ -197,7 +198,6 @@ nav:
           - Benchmarking with distilabel: "sections/pipeline_samples/examples/benchmarking_with_distilabel.md"
           - Llama cpp with outlines: "sections/pipeline_samples/examples/llama_cpp_with_outlines.md"
           - MistralAI with instructor: "sections/pipeline_samples/examples/mistralai_with_instructor.md"
-          - DeepSeek Prover: "sections/pipeline_samples/papers/deepseek_prover.md"
   - API Reference:
       - Step:
           - "api/step/index.md"