From 516909e5c07fa6191b7b21fb82220e239edcc500 Mon Sep 17 00:00:00 2001 From: David Berenstein Date: Mon, 19 Aug 2024 16:30:28 +0200 Subject: [PATCH] docs: minor fixes (#913) * Fix minor error deepseep prover * Fix minor type generate sentence pairs --- docs/sections/pipeline_samples/examples/index.md | 8 ++++++++ .../pipeline_samples/tutorials/GenerateSentencePair.ipynb | 2 +- mkdocs.yml | 2 +- 3 files changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/sections/pipeline_samples/examples/index.md b/docs/sections/pipeline_samples/examples/index.md index 2638c36716..4db66a08f9 100644 --- a/docs/sections/pipeline_samples/examples/index.md +++ b/docs/sections/pipeline_samples/examples/index.md @@ -25,6 +25,14 @@ hide: toc
+- __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 index 7869cef9e1..08406cf82f 100644 --- 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 index b98a9edbaf..f10aeb642f 100644 --- 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"