deepseek-prover - Branch - argilla-io/distilabel

Deepseek prover task(#733)

Merging

deepseek-prover

into

main

-4%

test_cache_time

tests/integration/test_cache.py::test_cache_time

-4%

293.2 ms

304 ms

Click on a commit to change the comparison range

base

main

9d6a152

-1%

Add deepseek prover autoformalization task

6fc9acd

22 days ago by plaguss

+1%

Redirect import

c758b25

22 days ago by plaguss

-2%

Make generator task more general including few shot examples

6481f41

22 days ago by plaguss

-1%

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

1c2d7fc

22 days ago by plaguss