H. Ju, “Automated Conjecture Resolution with Formal Verification”, SI, vol. 3, no. 3, Sep. 2026.