Ju, H.; Gao, G.; Jiang, J.; Wu, B.; Sun, Z.; Liu, S.; Chen, L.; Wang, Y.; Wang, Y.; Wang, Z. Automated Conjecture Resolution With Formal Verification. SI 2026, 3.