Neural Interactive Proofs

university

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

AI & ML interests

None defined yet.

neural-interactive-proofs 's models 967

neural-interactive-proofs/finetune_dpo_cv_open_prover_training_test_3_0_iter_0_provers_group_2025-06-23_12-54-29_Qwen_Qwen

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

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

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

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

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

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