@article{automatedconjectureresolutionwithformalv,
  title = {Automated Conjecture Resolution with Formal Verification},
  author = {Haocheng Ju and Guoxiong Gao and Jiedong Jiang and Bin Wu and Zeming Sun and Shurui Liu and Leheng Chen and Yutong Wang and Yuefeng Wang and Zichen Wang and Wanyi He and Peihao Wu and Liang Xiao and Ruochuan Liu and Bryan Dai and Bin Dong},
  year = {2026},
  eprint = {2604.03789},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.03789},
}