Automated Conjecture Resolution with Formal Verification. - Haocheng Ju; Guoxiong Gao; Jiedong Jiang; Bin Wu; Zeming Sun; Leheng Chen; Yutong Wang; Yuefeng Wang; Zichen Wang; Wanyi He; Peihao Wu; Liang Xiao; et al. (CoRR, 2026)