Machine learning-enabled globally guaranteed evolutionary computation. - Bin Li 002; Ziping Wei; Jingjing Wu; Shuai Yu 005; Tian Zhang; Chunli Zhu; Dezhi Zheng; Weisi Guo; Chenglin Zhao; Jun Zhang 007 (Nat. Mac. Intell., 2023)