deepseek-ai/DeepSeek-Prover-V1.5-RL
7B
•
Updated
•
3.43k
•
65
Edit Models filters
Apps
Inference Providers
Active filters:
deepseek-ai/DeepSeek-Prover-V1.5-SFT
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.2
Updated
•
4
•
2
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.4
Updated
•
3
kfdong/STP_model_Lean
Text Generation
•
7B
•
Updated
•
19
•
3
RickyDeSkywalker/LoT-Solver
7B
•
Updated
RickyDeSkywalker/LoT-Solver-Godel
7B
•
Updated
•
1
kfdong/STP_model_Lean_0320
Text Generation
•
7B
•
Updated
•
3.89k
runrl/dsp
7B
•
Updated
•
5
ChenWu98/proof.iter0_training_temp1.0.1
Updated
ChenWu98/proof.iter0_training_temp1.0.random_split.idx0.1
Updated
ChenWu98/proof.iter0_training_temp1.0.random_split.idx1.1
Updated
ChenWu98/proof.iter0_training_temp1.0.cluster_split.idx0.1
Updated
ChenWu98/proof.iter0_training_temp1.0.cluster_split.idx1.1
Updated
ChenWu98/statement_deepseek_v1.5_sft_response_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_response_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_sample_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_sample_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_identical_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_identical_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_soft_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_soft_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_additional_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_additional_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_weighted_alpha2.0_split_0
Updated
ChenWu98/statement_deepseek_v1.5_sft_cluster_weighted_alpha2.0_split_1
Updated
ChenWu98/statement_deepseek_v1.5_sft_identical_split_random_weighted_alpha2.0_0
Updated
Slim205/Lean_prover_v1
7B
•
Updated
•
24
ChenWu98/statement_deepseek_v1.5_sft_identical_split_random_weighted_alpha2.0_1
Updated