Ju, H., Gao, G., Jiang, J., Wu, B., Sun, Z., Liu, S., … Dong, B. (2026). Automated Conjecture Resolution with Formal Verification. SuperIntelligence - Robotics - Safety & Alignment, 3(3). https://doi.org/10.70777/si.v3i3.18746