Search results

hyperparameter for pass@k inference

Status: Open.

#13 In deepseek-ai/DeepSeek-Prover-V2;

· haikangdeng opened on Oct 7, 2025

[Question] Could you share the package versions used in your training and evaluation environment?

Status: Open.

#11 In deepseek-ai/DeepSeek-Prover-V2;

· kirigayahitsugi opened on May 15, 2025

config file error

Status: Open.

#10 In deepseek-ai/DeepSeek-Prover-V2;

· yingli-Claire opened on May 13, 2025

Questions on 7B model

Status: Open.

#9 In deepseek-ai/DeepSeek-Prover-V2;

· vadimkantorov opened on May 8, 2025

The 7b model cannot achieve the pass@1 in the paper

Status: Open.

#8 In deepseek-ai/DeepSeek-Prover-V2;

· kadjasiodbi opened on May 7, 2025

当下, 大模型理应具备自动编程的能力, 自动软件工程的能力

Status: Open.

#6 In deepseek-ai/DeepSeek-Prover-V2;

· qwas982 opened on May 6, 2025

Proof of Putnam 2005 A4 (Appendix B) is likely unfixably wrong

Status: Open.

#5 In deepseek-ai/DeepSeek-Prover-V2;

· j-bagel opened on May 2, 2025

WeChat group

Status: Open.

#4 In deepseek-ai/DeepSeek-Prover-V2;

· Galaxy-PC opened on May 1, 2025

Comparison with AlphaProof

Status: Open.

#3 In deepseek-ai/DeepSeek-Prover-V2;

· MentalGear opened on May 1, 2025

aime_1999_p11 can not pass the compilation

Status: Open.

#2 In deepseek-ai/DeepSeek-Prover-V2;

· Imbernoulli opened on Apr 30, 2025