TY  - RPRT
TI  - Automated Conjecture Resolution with Formal Verification
AU  - Haocheng Ju
AU  - Guoxiong Gao
AU  - Jiedong Jiang
AU  - Bin Wu
AU  - Zeming Sun
AU  - Shurui Liu
AU  - Leheng Chen
AU  - Yutong Wang
AU  - Yuefeng Wang
AU  - Zichen Wang
AU  - Wanyi He
AU  - Peihao Wu
AU  - Liang Xiao
AU  - Ruochuan Liu
AU  - Bryan Dai
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2604.03789
ID  - 2604.03789
ER  -