Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
DeepseekProverV2Finetuned01 – AI Model by formalmathatepfl | AlphaNeural AI
You can deploy this model and start earning money today!
formalmathatepfl
/
DeepseekProverV2Finetuned01
like
0
transformers
safetensors
llama
text-generation
llama-factory
full
generated_from_trainer
conversational
other
text-generation-inference
endpoints_compatible
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
finetuning
This model is a fine-tuned version of
models/DeepSeek-Prover-V2-7B-CPT
on the finetuning_data dataset.
Model description
More information needed
Intended uses & limitations
More information needed
Training and evaluation data
More information needed
Training procedure
Training hyperparameters
The following hyperparameters were used during training:
learning_rate: 0.0001
train_batch_size: 1
eval_batch_size: 8
seed: 42
distributed_type: multi-GPU
num_devices: 4
gradient_accumulation_steps: 2
total_train_batch_size: 8
total_eval_batch_size: 32
optimizer: Use adamw_torch with betas=(0.9,0.999) and epsilon=1e-08 and optimizer_args=No additional optimizer arguments
lr_scheduler_type: cosine
lr_scheduler_warmup_ratio: 0.03
num_epochs: 1.0
Training results
Framework versions
Transformers 4.52.4
Pytorch 2.9.0+cu128
Datasets 3.6.0
Tokenizers 0.21.1
