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 3 days ago
neural-interactive-proofs/finetune_dpo_Qwen_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_0_provers_group_175 Updated 3 days ago
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_4_0_iter_1_provers_group_17506961 Updated 3 days ago
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_0_provers_group_17507733 Updated 1 day ago
neural-interactive-proofs/finetune_dpo_Qwen2.5-32B-Instruct_cv_open_prover_training_test_6_0_iter_1_provers_group_17507748 Updated 1 day ago