Hugging Face model: neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_nip_slow_and_steady_2_0_iter_31_provers_
Author: neural-interactive-proofs
Created: 2025-07-18 18:50:59
Last modified: 2025-07-18 18:51:04
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: