haielab
/

DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955

Text Generation

conjecture-proving

flash-attention-2

Model card Files Files and versions

DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955

1.52 kB

1 contributor

History: 1 commit

haielab's picture

initial commit

f202270 verified 4 months ago

.gitattributes

1.52 kB

initial commit 4 months ago