Ju, Haocheng, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Shurui Liu, Leheng Chen, et al. 2026. “Automated Conjecture Resolution With Formal Verification”. SuperIntelligence - Robotics - Safety & Alignment 3 (3). https://doi.org/10.70777/si.v3i3.18746.