neural-interactive-proofs/finetune_dpo_cv_test_lm_server_30_0_iter_0_provers_group_2025-06-18_15-40-03_Qwen_Qwen2.5-0.5B-I Updated Jun 18, 2025
neural-interactive-proofs/finetune_dpo_cv_test_lm_server_34_0_iter_0_provers_group_2025-06-18_17-02-34_Qwen_Qwen2.5-0.5B-I Updated Jun 18, 2025
neural-interactive-proofs/finetune_dpo_cv_test_lm_server_45_0_iter_0_provers_group_2025-06-19_11-38-10_Qwen_Qwen2.5-0.5B-I Updated Jun 19, 2025
neural-interactive-proofs/finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_12-35-00_Qwen_Qwen2.5-0.5B-I Updated Jun 19, 2025
neural-interactive-proofs/finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_12-43-38_Qwen_Qwen2.5-0.5B-I Updated Jun 19, 2025
neural-interactive-proofs/finetune_dpo_cv_test_lm_server_47_0_iter_0_provers_group_2025-06-19_14-40-50_Qwen_Qwen2.5-0.5B-I Updated Jun 19, 2025
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, 2025
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, 2025
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_1_provers_group_17506961 Updated Jun 23, 2025
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_0_provers_group_17507733 Updated Jun 24, 2025
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_1_provers_group_17507748 Updated Jun 24, 2025
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_11_0_iter_0_provers_group_1750942 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_0_provers_group_1750950 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_1_provers_group_1750951 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_2_provers_group_1750952 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_3_provers_group_1750953 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_4_provers_group_1750955 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_5_provers_group_1750956 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_6_provers_group_1750957 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_7_provers_group_1750958 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_8_provers_group_1750959 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_9_provers_group_1750960 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_10_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_11_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_12_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_13_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_14_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_15_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_16_provers_group_175096 Updated Jun 26, 2025
neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_open_prover_training_test_12_0_iter_17_provers_group_175096 Updated Jun 26, 2025