neural-interactive-proofs/finetune_dpo_cv_open_prover_training_test_3_0_iter_0_provers_group_2025-06-23_12-54-29_Qwen_Qwen Updated Jun 23
neural-interactive-proofs/finetune_dpo_Qwen_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_0_provers_group_175 Updated Jun 23
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_1_provers_group_17506961 Updated Jun 23
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_0_provers_group_17507733 Updated Jun 24
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_1_provers_group_17507748 Updated Jun 24
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_11_0_iter_0_provers_group_1750942 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_0_provers_group_1750950 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_1_provers_group_1750951 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_2_provers_group_1750952 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_3_provers_group_1750953 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_4_provers_group_1750955 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_5_provers_group_1750956 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_6_provers_group_1750957 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_7_provers_group_1750958 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_8_provers_group_1750959 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_9_provers_group_1750960 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_10_provers_group_175096 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_11_provers_group_175096 Updated Jun 26
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_12_provers_group_175096 Updated Jun 26