Code

Deepseek prover task#733

Code

Merged

gabrielmbmb merged 15 commits intomainargilla-io/distilabel:mainfrom deepseek-proverargilla-io/distilabel:deepseek-proverCopy head branch name to clipboardAug 14, 2024

+807

Commits

Commits on Jun 14, 2024

• Add deepseek prover autoformalization task

  plaguss

  committed
  6fc9acd

  Copy full SHA for 6fc9acd

• Add task for the scorer as a jinja template to make it easy to maintain

  plaguss

  committed
  52ce32e

  Copy full SHA for 52ce32e

• Add deepseek prover scorer task

  plaguss

  committed
  febd720

  Copy full SHA for febd720

• Add tests for the scorer task

  plaguss

  committed
  a3958c8

  Copy full SHA for a3958c8

• Redirect import

  plaguss

  committed
  c758b25

  Copy full SHA for c758b25

• Create a folder for the deepseek-prover templates

  plaguss

  committed
  d27bf1d

  Copy full SHA for d27bf1d

• Make generator task more general including few shot examples

  plaguss

  committed
  6481f41

  Copy full SHA for 6481f41

• Remove the few shot argument as we can determine by just checking for examples

  plaguss

  committed
  1c2d7fc

  Copy full SHA for 1c2d7fc

Commits on Jul 19, 2024

• Merge branch 'develop' of https://github.com/argilla-io/distilabel into deepseek-prover

  plaguss

  committed
  863502d

  Copy full SHA for 863502d

Commits on Jul 23, 2024

• Remove deepseek-prover from the core as they are not that relevant for general pipelines

  plaguss

  committed
  ca5bf55

  Copy full SHA for ca5bf55

• Add deepseek prover pipeline

  plaguss

  committed
  222f090

  Copy full SHA for 222f090

• Add entry for the paper implementation

  plaguss

  committed
  00fd414

  Copy full SHA for 00fd414

• Remove tests

  plaguss

  committed
  bac62b6

  Copy full SHA for bac62b6

• Remove import

  plaguss

  committed
  7c4c2a5

  Copy full SHA for 7c4c2a5

• Remove redirected import

  plaguss

  committed
  e087f64

  Copy full SHA for e087f64