Search results

DeepSeek-Prover-V1.5-Base performs significantly worse than DeepSeek-Prover-V1 in Table 1

Status: Open.

#19 In deepseek-ai/DeepSeek-Prover-V1.5;

· vadimkantorov opened on Apr 10, 2025

Some ProofNet ground truth formalizations are incorrect

Status: Open.

#18 In deepseek-ai/DeepSeek-Prover-V1.5;

· jsimonrichard opened on Mar 25, 2025

Flash Attention Installation error

Status: Open.

#17 In deepseek-ai/DeepSeek-Prover-V1.5;

· pdx97 opened on Mar 20, 2025

Issue with flash attention build running forever

Status: Open.

#13 In deepseek-ai/DeepSeek-Prover-V1.5;

· BoccheseGiacomo opened on Jan 4, 2025

Seems that all models are loaded to the first GPU?

Status: Open.

#11 In deepseek-ai/DeepSeek-Prover-V1.5;

· DDDOH opened on Nov 25, 2024

运行quick_start.py但是报错，可能是lean4的问题？

Status: Open.

#10 In deepseek-ai/DeepSeek-Prover-V1.5;

· fixtech opened on Oct 21, 2024

Request for Release of Enhanced Theorem-Proving Dataset

Status: Open.

#2 In deepseek-ai/DeepSeek-Prover-V1.5;

· PrithwishJana opened on Aug 21, 2024