Hugging Face model: zqiu/goedel-prover-v2-8b-oft-math-prover-2508-60k-2e-end
Author: zqiu
Created: 2025-09-03 18:44:59
Last modified: 2025-09-03 18:47:34
Likes: 0 | Downloads: 3
Tags: qwen3, region:us
Card metadata: