Neural Interactive Proofs

university

https://neural-interactive-proofs.com/

AI & ML interests

None defined yet.

Recent Activity

SamAdamDay updated a model 29 days ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5_32B_prover_debate_prover0_1_0_iter_8_prover0_175609

SamAdamDay published a model 29 days ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5_32B_prover_debate_prover0_1_0_iter_8_prover0_175609

SamAdamDay updated a model 29 days ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5_32B_prover_debate_prover0_1_0_iter_7_prover0_175609

View all activity

neural-interactive-proofs 's models 967

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_5_provers_group_1751463962

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_9_0_iter_1_provers_group_1751463497_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_4_provers_group_1751462793

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_9_0_iter_0_provers_group_1751462280_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_3_provers_group_1751461411

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_2_provers_group_1751459977

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_8_provers_group_1751459574_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_1_provers_group_1751458829

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_7_provers_group_1751458482_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_8_0_iter_0_provers_group_1751457595

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_6_provers_group_1751457387_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_5_provers_group_1751456274_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_4_provers_group_1751455190_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_8_provers_group_1751454236_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_3_provers_group_1751454036_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_7_provers_group_1751453127_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_2_provers_group_1751452971_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_6_provers_group_1751451996_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_1_provers_group_1751451842_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_5_provers_group_1751450872_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_6_0_iter_0_provers_group_1751450601_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_4_provers_group_1751449676_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_3_provers_group_1751448492_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_2_provers_group_1751447327_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_1_provers_group_1751446206_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_0_provers_group_1751444985_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_4_0_iter_0_provers_group_1751389699_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_3_1_iter_8_provers_group_1751387548_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_3_1_iter_7_provers_group_1751386472_

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_3_1_iter_6_provers_group_1751385269_