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 / tokenizer_config.json

Commit History

Upload tokenizer

a92daae
verified

haielab commited on Jul 28